Labels

• A-coherence

  Having to do with regressions in `-Ztrait-solver=next-coherence`
• A-coinduction
• A-incomplete

  incorrectly return `NoSolution`, unsound during coherence
• A-normalization
• A-overflow

  Having to do with overflow
• A-performance
• A-winnowing
• blocks-crater

  Blocks running a crater run for breakage w/ new solver
• E-needs-test

  Call for participation: An issue has been fixed and does not reproduce, but no test has been added.
• from-crater

  A regression found via a crater run, not part of our test suite
• meta
• minor-breakage

  known-breakage with minor fallout
• not-blocking-coherence

  An issue we can resolve after stabilizing the new solver during coherence
• S-breaking-change
• S-cleanup
• S-concern
• S-does-not-impact-design
• S-increased-expressiveness
• S-info
• S-unsound
• stabilization-report-relevant

  Relevant for stabilization report for new solver (new breakage, new capabilities)