-
Notifications
You must be signed in to change notification settings - Fork 0
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
AliasBound candidates for normalizeable aliases are unsound
A-normalization
S-unsound
#6
opened Apr 17, 2023 by
lcnr
AliasRelate hides info in transitive cases
A-normalization
S-breaking-change
S-concern
#7
opened Apr 17, 2023 by
lcnr
generalization is incomplete for aliases
A-incomplete
incorrectly return `NoSolution`, unsound during coherence
A-normalization
S-unsound
#8
opened Apr 17, 2023 by
lcnr
impls with higher ranked projections are now usable
A-normalization
S-increased-expressiveness
#9
opened Apr 17, 2023 by
lcnr
projection obligations were accepted in - otherwise coinductive - global cycles
A-coinduction
S-breaking-change
#10
opened Apr 17, 2023 by
lcnr
normalization does not use impls covered by param env candidates
A-normalization
not-blocking-coherence
An issue we can resolve after stabilizing the new solver during coherence
S-increased-expressiveness
#12
opened Apr 24, 2023 by
lcnr
trait solver hangs for recursively expanding coinductive cycles
A-coinduction
A-overflow
Having to do with overflow
#13
opened May 8, 2023 by
lcnr
structurally resolve how does it work
not-blocking-coherence
An issue we can resolve after stabilizing the new solver during coherence
#15
opened May 19, 2023 by
lcnr
defining opaque types with aliases which normalize to params
not-blocking-coherence
An issue we can resolve after stabilizing the new solver during coherence
#16
opened May 22, 2023 by
lcnr
should looking up the defined opaque types be structural or semantic
not-blocking-coherence
An issue we can resolve after stabilizing the new solver during coherence
#17
opened May 24, 2023 by
lcnr
Should we deeply normalize during writeback, or at the post-typeck places that need a "structurally resolved" type?
A-normalization
not-blocking-coherence
An issue we can resolve after stabilizing the new solver during coherence
#3
opened Apr 13, 2023 by
compiler-errors
ambiguity on inductive cycles
A-coherence
Having to do with regressions in `-Ztrait-solver=next-coherence`
S-breaking-change
#20
opened May 26, 2023 by
lcnr
normalizes-to for projections ignores term when choosing candidates
S-info
#22
opened May 26, 2023 by
lcnr
rerunning on fixpoint change on overflow with non-trivial constraints
#128
opened Sep 9, 2024 by
lcnr
old solver incompletely prefers projection and object candidates
A-incomplete
incorrectly return `NoSolution`, unsound during coherence
#27
opened May 31, 2023 by
lcnr
Should we be eagerly evaluating consts in the "old"-style normalizer?
#28
opened Jun 1, 2023 by
compiler-errors
overlapping impl candidates are no longer an error
stabilization-report-relevant
Relevant for stabilization report for new solver (new breakage, new capabilities)
#35
opened Jun 23, 2023 by
aliemjay
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.