Skip to content

Only allow impl lifetimes in RPITIT hidden type that come from self type#113418

Closed
compiler-errors wants to merge 1 commit intorust-lang:masterfrom
compiler-errors:rpitit-impl-lifetimes
Closed

Only allow impl lifetimes in RPITIT hidden type that come from self type#113418
compiler-errors wants to merge 1 commit intorust-lang:masterfrom
compiler-errors:rpitit-impl-lifetimes

Conversation

@compiler-errors
Copy link
Contributor

Follow-up to #113182, but now we limit the lifetimes that RPITITs are allowed to reference (without mentioning them in the impl Trait bounds) just to the Self type of the impl, rather than all of the lifetimes in the impl header.

Putting this up for discussion for #112194.

r? @oli-obk

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jul 6, 2023
@compiler-errors
Copy link
Contributor Author

We actually decided against this :^)

@compiler-errors compiler-errors deleted the rpitit-impl-lifetimes branch August 11, 2023 20:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

Development

Successfully merging this pull request may close these issues.

3 participants