Skip to content

Issues: rust-lang/trait-system-refactor-initiative

Beta
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

109 Open 96 Closed
109 Open 96 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

tachys: overflow error from-crater A regression found via a crater run, not part of our test suite
#206 opened May 8, 2025 by lcnr
cedar-policy-2.4.2: type error when applying the ? operator from-crater A regression found via a crater run, not part of our test suite
#205 opened May 8, 2025 by lcnr
surprising error with opaque types
#204 opened May 8, 2025 by lcnr
1
breakage due to incompletely constraining gat args from-crater A regression found via a crater run, not part of our test suite
#202 opened May 6, 2025 by lcnr
1
@lcnr
enumoid regression: not structurally normalizing type in hir typeck pattern checking from-crater A regression found via a crater run, not part of our test suite
#200 opened May 6, 2025 by compiler-errors
1
@compiler-errors
werk regression from-crater A regression found via a crater run, not part of our test suite
#199 opened May 6, 2025 by compiler-errors
phlite: method selection on subtype of opaque from-crater A regression found via a crater run, not part of our test suite
#198 opened May 6, 2025 by lcnr
@lcnr
poem: type annotations needed from-crater A regression found via a crater run, not part of our test suite
#196 opened May 5, 2025 by lcnr
@lcnr
3
looking up hidden types in the opaque storage may need to consider duplicate entries
#193 opened May 1, 2025 by lcnr
ui tests take a very long time
#192 opened Apr 30, 2025 by lcnr
Rejection of self-referential closure signature in new solver due to lack of eager norm from-crater A regression found via a crater run, not part of our test suite
#191 opened Apr 29, 2025 by compiler-errors
@compiler-errors
lightning is very slow with the new solver from-crater A regression found via a crater run, not part of our test suite
#190 opened Apr 25, 2025 by lcnr
crater failures due to unsupported features from-crater A regression found via a crater run, not part of our test suite
#188 opened Apr 25, 2025 by lcnr
better_any regression from-crater A regression found via a crater run, not part of our test suite
#183 opened Apr 18, 2025 by compiler-errors
reblessive regression: rely on item bounds of not-yet-defined opaque types from-crater A regression found via a crater run, not part of our test suite
#182 opened Apr 18, 2025 by compiler-errors
1
@compiler-errors @lcnr
4
calling impl Fn in defining scope from-crater A regression found via a crater run, not part of our test suite
#181 opened Apr 18, 2025 by compiler-errors
1
@compiler-errors
3
ashpd regression from-crater A regression found via a crater run, not part of our test suite
#174 opened Apr 11, 2025 by compiler-errors
@lcnr
4
opaques in dead code and choosing 'static
#170 opened Apr 3, 2025 by lcnr
WF is no longer coinductive? A-coinduction S-breaking-change
#169 opened Mar 21, 2025 by compiler-errors
1
@compiler-errors
3
Inference hazard due to lazy alias relate: Break it in the old solver? A-incomplete incorrectly return `NoSolution`, unsound during coherence S-breaking-change
#168 opened Mar 21, 2025 by compiler-errors
7
TODO(@lcnr): why fail
#167 opened Feb 27, 2025 by lcnr
old solver doesn't check normalization constraints in compare_impl_item
#166 opened Feb 18, 2025 by lcnr
4
search_graph_fuzz add unit test support and unit tests E-needs-test Call for participation: An issue has been fixed and does not reproduce, but no test has been added.
#163 opened Feb 12, 2025 by lcnr
2
normalizing opaques while proving implied bounds
#159 opened Jan 31, 2025 by lcnr
2
synthesize_auto_trait_impls is incredibly slow rn, replace with proof tree visitor
#157 opened Jan 29, 2025 by lcnr
ProTip! Add no:assignee to see everything that’s not assigned.