Labels

• bug

  Something isn't working
• formality-rust-discrepancy-untriaged

  Indicates a discrepancy between formality and the Rust compiler that needs to be triaged.
• good first issue

  Good for newcomers
• good next project

  Medium complexity — good after a first issue
• meta

  A tracking issue (an issue about issues)
• S-blocked
• S-waiting-on-author
• S-waiting-on-review
• so you want a challenge

  Challenging projects for people who are committed.
• you are a mir-formality hero

  fundamental changes