RPIT capture all lifetimes

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

95 stars 19 forks source link

RPIT capture all lifetimes #110

Open nikomatsakis opened 1 year ago

nikomatsakis commented 1 year ago

As proposed in rust-lang/rust#3498, we wish to change -> impl Trait to implicitly capture all generic parameters, and not just types. This makes things more consistent with RPITIT.

Requires #106 to make things convenient

nikomatsakis commented 1 year ago

@traviscross has opened RFC https://github.com/rust-lang/rfcs/pull/3498