search

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

RPITIT refactor (lower RPITIT as GAT) #90

Closed spastorino closed 1 year ago

spastorino commented 1 year ago

Summary

We're working on making RPITITs be lowered as GAT. We have landed the work under -Zlower-impl-trait-in-trait-to-assoc-ty. There's currently a pending issue because the generated GATs are not WF, copied lifetimes are not stated to be equal to the originating lifetime. There are some alternatives on how we could lower the GAT, copy the lifetime or not, generated where bounds or not, have the GAT containing late-bound lifetimes, etc. Let's discuss different alternatives and also https://github.com/rust-lang/rust/pull/103449 which avoids copying lifetimes.

Rationale

BoxyUwU commented 1 year ago

This was scheduled for 31/07/2023

spastorino commented 1 year ago

We already had the meeting https://rust-lang.zulipchat.com/#narrow/stream/326132-t-types.2Fmeetings/topic/2023-07-31.20RPITIT.20refactor