Skip to content

No labels!

There aren’t any labels for this repository quite yet.

18 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
A-coherence
A-coherence
Having to do with regressions in `-Ztrait-solver=next-coherence`
2
A-coinduction
A-coinduction
3
A-incomplete
A-incomplete
incorrectly return `NoSolution`, unsound during coherence
4
A-normalization
A-normalization
11
A-overflow
A-overflow
Having to do with overflow
3
A-performance
A-performance
2
A-winnowing
A-winnowing
blocks-crater
blocks-crater
Blocks running a crater run for breakage w/ new solver
2
E-needs-test
E-needs-test
Call for participation: An issue has been fixed and does not reproduce, but no test has been added.
2
I-unresolved
I-unresolved
An unresolved issue
meta
meta
2
not-blocking-coherence
not-blocking-coherence
An issue we can resolve after stabilizing the new solver during coherence
6
S-breaking-change
S-breaking-change
5
S-concern
S-concern
1
S-increased-expressiveness
S-increased-expressiveness
4
S-info
S-info
3
S-unsound
S-unsound
2
stabilization-report-relevant
stabilization-report-relevant
Relevant for stabilization report for new solver (new breakage, new capabilities)
2