rust-lang trait-system-refactor-initiative issues

rust-lang / trait-system-refactor-initiative

The Rustc Trait System Refactor Initiative

22 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

lazy norm, infinitely sized types, and the occurs check

#133 lcnr opened 3 weeks ago
2
Nested bodies need to have pre-defined opaques

#132 compiler-errors opened 1 month ago
1
method resolution can use yet undefined opaques

#131 lcnr opened 1 month ago
2
[META] opaque type handling

#130 lcnr opened 1 month ago
0
candidate preference and guidance

#129 lcnr opened 2 months ago
1
rerunning on fixpoint change on overflow with non-trivial constraints

#128 lcnr opened 2 months ago
0
life without region uniquification

#127 lcnr opened 2 months ago
0
[META] cycle handling

#126 lcnr opened 2 months ago
0
using shadowed impls may add unnecessary region constraints

#125 lcnr opened 2 months ago
1
[META] impl shadowed by where-bounds

#124 lcnr opened 2 months ago
0
query cycle in `layout_of`

#123 lcnr opened 2 months ago
0
vibe: negative reasoning and solver cycles

#122 lcnr opened 3 months ago
0
Structural equality in method candidate assembly incompatible w/ lazy norm

#121 compiler-errors opened 3 months ago
0
higher-ranked goals in trait goal candidate selection

#120 lcnr opened 4 months ago
0
old trait solver provisional cache does not handle changes in the cycle kind

#119 lcnr opened 4 months ago
0
unavoidable overflow due to cycle fixpoint + region constaints

#118 lcnr opened 5 months ago
1
`has_no_inference_or_external_constraints` does not detect pulled down universes or placeholders

#117 lcnr opened 5 months ago
0
Is the folding strategy in `check_type_bound` sufficient?

#116 compiler-errors opened 6 months ago
0
reimplement `translate_args` inside of the solver

#115 lcnr closed 5 months ago
0
inductive cycles as ambig causes unintended breakage

#114 lcnr opened 6 months ago
2
fast paths :tada:

#113 lcnr opened 6 months ago
0
normalizing opaques in outlives constraints allows more code compile

#112 lcnr opened 6 months ago
1
ambiguity due to "maybe-rigid" rigid assoc type

#111 lcnr closed 6 months ago
3
generalization ambiguity 2 - even yoke-ier

#110 lcnr closed 6 months ago
4
rayon hangs

#109 compiler-errors opened 6 months ago
3
generalization ambiguity

#108 lcnr closed 6 months ago
1
opaque types + implied bounds ICE

#107 lcnr closed 6 months ago
1
addr2line fails to relate an opaque type

#106 lcnr opened 7 months ago
1
Do we actually need the fallible handling of `forced_ambiguity`?

#105 compiler-errors opened 7 months ago
0
rustc doesn't check nested WFness if it's in a higher-ranked predicate

#104 compiler-errors opened 7 months ago
2
alias-relate is theoretically incomplete

#103 lcnr closed 6 months ago
2
new solver uses a fixpoint when evaluating nested goals

#102 lcnr opened 8 months ago
0
incomplete projection candidate selection for trait objects

#101 lcnr opened 8 months ago
1
Supertrait elaboration causes unnecessary param-env shadowing

#100 compiler-errors opened 8 months ago
0
Overflow in mir_borrowck when normalizing region-outlives obligations

#99 compiler-errors opened 8 months ago
0
Solver prefers param-env bound over object bound

#98 compiler-errors opened 8 months ago
1
eagerly proving nested goals + incompleteness -> breakage

#97 lcnr opened 9 months ago
0
`discard_impls_shadowed_by_env` forces unnecessary ambiguity

#96 lcnr opened 9 months ago
0
inspect analyse visitor causes hangs

#95 lcnr opened 9 months ago
0
handling overflow in fulfill

#94 lcnr opened 9 months ago
0
coherence now uses fulfillment

#93 lcnr closed 7 months ago
1
normalizes-to being 1-step normalization and alias-relate

#92 lcnr closed 6 months ago
0
object_safe_for_dispatch: auto trait bounds

#91 lcnr opened 9 months ago
0
`AliasBound` + `ParamEnv` candidate eq modulo regions

#90 lcnr opened 9 months ago
8
alias-relate when normalizing in unnormalized env causes overflow

#89 lcnr opened 9 months ago
0
`DoubleEndedIterator` implementation causes overflow libcore build

#88 compiler-errors closed 9 months ago
3
try-block results in error

#87 lcnr opened 9 months ago
0
Normalizes-to terms equal modulo normalization

#86 compiler-errors closed 8 months ago
2
leak check for param-env projection candidates

#85 lcnr closed 8 months ago
1
super trait bounds equal modulo normalization

#84 lcnr closed 8 months ago
1