Skip to content

Experiment: Relax lifetime requirements further #12

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

Closed
wants to merge 10 commits into from

Conversation

Ekleog
Copy link
Owner

@Ekleog Ekleog commented Mar 16, 2025

@touilleMan I ended up giving up on also relaxing constraints on the version change transaction's closure 😢

If you're interested, you may want to look at the stage I had reached? With the introduction of the ScopeCallback I can reasonably safely extend the lifetimes, but now I'm hitting a weird rustc rejection that claims that my scope is not 'static, even though… AFAICT fn(&'a ()) -> &'a () should be 'static, but it's actually not 🤷

@Ekleog
Copy link
Owner Author

Ekleog commented Mar 16, 2025

Actually… things seem to be working fine with the latest commit? I'll need to come back to it with a much fresher mind to convince myself I'm not introducing unsoundness, that said 😄

@Ekleog
Copy link
Owner Author

Ekleog commented Mar 18, 2025

Hmm so coming back to it today it does look safe to me. @touilleMan Can you confirm this looks safe to you too? If yes I'll just come back to it in a few day, self-review again and if it still looks good to me probably land 😄

touilleMan added a commit to Scille/parsec-cloud that referenced this pull request Mar 26, 2025
touilleMan added a commit to Scille/parsec-cloud that referenced this pull request Mar 26, 2025
@Ekleog Ekleog closed this Mar 26, 2025
@Ekleog Ekleog deleted the relax-lifetime-requirements-further-experiment branch March 26, 2025 21:01
touilleMan added a commit to Scille/parsec-cloud that referenced this pull request Mar 27, 2025
github-merge-queue bot pushed a commit to Scille/parsec-cloud that referenced this pull request Mar 27, 2025
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

Successfully merging this pull request may close these issues.

1 participant