Labels

Having to do with regressions in `-Ztrait-solver=next-coherence`

incorrectly return `NoSolution`, unsound during coherence

Having to do with overflow

Blocks running a crater run for breakage w/ new solver

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

A regression found via a crater run, not part of our test suite

known-breakage with minor fallout

An issue we can resolve after stabilizing the new solver during coherence

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