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

[WIP] Use pin-project instead of unsafe_[un]pinned #1616

Closed
wants to merge 2 commits into from

Conversation

taiki-e
Copy link
Member

@taiki-e taiki-e commented May 17, 2019

Improve the pin-projection related ergonomics.

This is a work in progress. Blocked on taiki-e/pin-project#12.

TODO: Explain what code pin-project generates.

@taiki-e taiki-e force-pushed the pin-project branch 4 times, most recently from efbe32b to 3e0c370 Compare May 25, 2019 11:46
@taiki-e taiki-e force-pushed the pin-project branch 3 times, most recently from ae3d8a1 to 9c0c768 Compare June 19, 2019 12:24
@taiki-e taiki-e force-pushed the pin-project branch 2 times, most recently from 887a6f2 to be58a53 Compare June 26, 2019 19:11
@taiki-e taiki-e force-pushed the pin-project branch 2 times, most recently from d901d84 to cc32a4e Compare July 2, 2019 09:48
@taiki-e
Copy link
Member Author

taiki-e commented Aug 7, 2019

Closing -- This PR is outdated. pin-project don't plan to put the features linked to this PR in the next version. In the next version, we will stick to making pin-projection safer (see taiki-e/pin-project#21).

@taiki-e taiki-e closed this Aug 7, 2019
@taiki-e taiki-e deleted the pin-project branch August 7, 2019 00:03
@taiki-e taiki-e restored the pin-project branch August 27, 2019 08:48
@taiki-e taiki-e deleted the pin-project branch August 27, 2019 15:06
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