You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Type-outlives bounds can be proven several ways -- via item bounds, via param-env clauses, and by recursively applying to the type's components. When applying param-env clauses that may satisfy a type-outlives bounds, we use the Match relation, which only considers types structurally.
That causes this code to go from passing to failing in the new trait solver:
With rust-lang/rust#119101 and rust-lang/rust#120513
TypeOutlives
obligations and assumptions are now eagerly normalized at the start of regionck and borrowck.previous issue
Type-outlives bounds can be proven several ways -- via item bounds, via param-env clauses, and by recursively applying to the type's components. When applying param-env clauses that may satisfy a type-outlives bounds, we use the
Match
relation, which only considers types structurally.That causes this code to go from passing to failing in the new trait solver:
The text was updated successfully, but these errors were encountered: