Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

RPITIT refactor (lower RPITIT as GAT) #90

Closed
spastorino opened this issue May 1, 2023 · 2 comments
Closed

RPITIT refactor (lower RPITIT as GAT) #90

spastorino opened this issue May 1, 2023 · 2 comments
Assignees
@spastorino
Labels
deep-dive-proposal Proposal for a deep-dive discussion meeting T-types Add this label so rfcbot knows to poll the types team

Comments

@spastorino
Copy link
Member

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 rust-lang/rust#103449 which avoids copying lifetimes.

Rationale
@spastorino spastorino added deep-dive-proposal Proposal for a deep-dive discussion meeting T-types Add this label so rfcbot knows to poll the types team labels May 1, 2023
@BoxyUwU
Copy link
Member

BoxyUwU commented Jul 3, 2023

This was scheduled for 31/07/2023

@spastorino spastorino self-assigned this Jul 3, 2023
@spastorino
Copy link
Member Author

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@spastorino spastorino

Labels
deep-dive-proposal Proposal for a deep-dive discussion meeting T-types Add this label so rfcbot knows to poll the types team
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@spastorino @BoxyUwU