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.

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

Add static lifetime #610

Closed
detrumi opened this issue Sep 16, 2020 · 4 comments
Closed

Add static lifetime #610

detrumi opened this issue Sep 16, 2020 · 4 comments

Comments

@detrumi
Copy link
Member

detrumi commented Sep 16, 2020

Add support for 'static lifetime (also called ReStatic)

discussion during last meeting
branch that made a start on this

@detrumi
Copy link
Member Author

detrumi commented Sep 16, 2020

@rustbot claim

@Aaron1011
Copy link
Member

@detrumi Are you still working on this?

@detrumi
Copy link
Member Author

detrumi commented Oct 3, 2020

I made a start on it, though I think @jackh726 is currently finishing it.

@detrumi detrumi removed their assignment Oct 3, 2020
@detrumi
Copy link
Member Author

detrumi commented Oct 4, 2020

Implemented in #617

@detrumi detrumi closed this as completed Oct 4, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants