rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
96 stars 19 forks source link

Closure return type outlives guarantees #57

Open jackh726 opened 2 years ago

jackh726 commented 2 years ago

See summary and rationale in https://github.com/rust-lang/rust/issues/84385 and https://rust-lang.zulipchat.com/#narrow/stream/326866-t-types.2Fnominated/topic/.2384385.3A.20Enforce.20that.20.60closure.3A.20'a.60.20requires.20that.20.60closure_r.E2.80.A6

nikomatsakis commented 2 years ago

Scheduled for Nov 18