Skip to content

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

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

96 Open 69 Closed
96 Open 69 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

old solver doesn't check normalization constraints in compare_impl_item
#166 opened Feb 18, 2025 by lcnr
3
bevy implied bounds hack no longer works
#164 opened Feb 18, 2025 by lcnr
1
2
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
hopefully irrelevant candidate behavior difference of Sized/trivial builtin impls
#162 opened Feb 12, 2025 by lcnr
1
normalizing opaques while proving implied bounds
#159 opened Jan 31, 2025 by lcnr
2
opaque type auto trait leakage is used even when item bounds would be sufficient
#158 opened Jan 29, 2025 by lcnr
synthesize_auto_trait_impls is incredibly slow rn, replace with proof tree visitor
#157 opened Jan 29, 2025 by lcnr
non-fatal overflow during monomorphization results in ICE S-does-not-impact-design
#155 opened Jan 29, 2025 by lcnr
3
PostAnalysis mode no longer eagerly reveals opaque types S-increased-expressiveness
#153 opened Jan 29, 2025 by lcnr
1
feature(transmutability) doesn't work
#152 opened Jan 22, 2025 by compiler-errors
@compiler-errors
new solver equates opaque to trait object instead of coercing
#147 opened Jan 21, 2025 by lcnr
1
recursive call results in unconstrained opaque type args
#145 opened Jan 21, 2025 by lcnr
unconstrained RPIT cause ambiguity errors instead of falling back to ()
#144 opened Jan 21, 2025 by lcnr
1
normalizing an opaque while proving its item bounds causes overflow errors
#143 opened Jan 21, 2025 by lcnr
1
implied-bounds and normalization A-normalization
#141 opened Jan 21, 2025 by lcnr
unsupported unstable features meta
#140 opened Jan 21, 2025 by lcnr
9 tasks
we never try to normalize unused alias definitions S-does-not-impact-design
#139 opened Jan 21, 2025 by lcnr
non-defining uses with non-param args will be break
#135 opened Dec 5, 2024 by lcnr
3
Normalization can indirectly observe a method's own predicates in method probing
#134 opened Nov 27, 2024 by compiler-errors
lazy norm, infinitely sized types, and the occurs check
#133 opened Oct 30, 2024 by lcnr
2
Nested bodies need to have pre-defined opaques
#132 opened Oct 8, 2024 by compiler-errors
1
method resolution can use yet undefined opaques
#131 opened Oct 7, 2024 by lcnr
3
[META] opaque type handling meta
#130 opened Oct 7, 2024 by lcnr
candidate preference and guidance
#129 opened Sep 27, 2024 by lcnr
1
life without region uniquification
#127 opened Sep 5, 2024 by lcnr
1
ProTip! no:milestone will show everything without a milestone.