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
To explicitly handle where-clauses in binders and to fix rust-lang/rust#25860 we need to handle disjunctions of outlives requirements.
fnfoo<'a,'b,'c>(){// `'d: 'a` and `'d: 'b`let x:for<'d> fn(&'a&'d(),&'b&'d()) -> &'d() = todo!();let _y:fn(&'a&'a(),&'b&'b()) -> &'c() = x;// need to prove `'d: 'c`,// can prove this if either `'a: 'c` or `'b: 'c` holds.}
The text was updated successfully, but these errors were encountered:
To explicitly handle where-clauses in binders and to fix rust-lang/rust#25860 we need to handle disjunctions of outlives requirements.
The text was updated successfully, but these errors were encountered: