Skip to content

filter lifetimes in impl Trait #44725

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
Closed
nikomatsakis opened this issue Sep 20, 2017 · 4 comments
Closed

filter lifetimes in impl Trait #44725

nikomatsakis opened this issue Sep 20, 2017 · 4 comments
Labels
C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC E-mentor Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-traits [RETIRED] Working group: Traits

Comments

@nikomatsakis
Copy link
Contributor

nikomatsakis commented Sep 20, 2017 •
edited
Loading

currently, impl Trait usages capture all lifetimes that are in scope (and this kind of fails around late-bound lifetimes). In the newer RFC, the proposal was that they should only capture those lifetimes that are used in the impl trait itself.

Here are some mentoring instructions I wrote-up from before on how one might do this. But another way to think about this might be to think about implementing abstract type (perhaps in a limited form) and desugaring to that.

However, work on this issue is blocked on #44727.
@nikomatsakis nikomatsakis added E-needs-mentor T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-traits [RETIRED] Working group: Traits labels Sep 20, 2017
@aturon aturon mentioned this issue Sep 20, 2017
Closed
29 tasks
@TimNN TimNN added the C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC label Sep 20, 2017
@nikomatsakis
Copy link
Contributor Author

See also: #44727

@nikomatsakis nikomatsakis added E-mentor Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion. and removed E-needs-mentor labels Sep 21, 2017
@ErichDonGubler
Copy link
Contributor

This issue is now ready to be worked on, right? :)

@Yoric
Copy link
Contributor

Yoric commented Dec 1, 2017

Since #44727 is closed, I'm interested in working on this. @nikomatsakis a few pointers on which files I'm supposed to dig into would be helpful, though.

@nikomatsakis
Copy link
Contributor Author

Er, sorry, this is done actually. =)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC E-mentor Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-traits [RETIRED] Working group: Traits
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@Yoric @nikomatsakis @carols10cents @ErichDonGubler @TimNN