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

Aliasable owner constaint to fix noalias UB #55

Open
wants to merge 4 commits into
base: master
Choose a base branch
from

Conversation

avitex
Copy link
Collaborator

@avitex avitex commented Nov 20, 2019

See issue #49

  • Replace Box and Vec
  • Verify mapping owner box (map_owner_box)
  • Fixup documentation
  • Fixup tests

@Ten0
Copy link

Ten0 commented Jul 18, 2021

Wouldn't only making the functions that provide access to the Owner require the AliasableDeref bound be enough to fix this unsoundness issue?
In which case it may be reasonable to not provide replacements for Box and Vec.

@avitex
Copy link
Collaborator Author

avitex commented Jul 19, 2021

@Ten0 Sorry, I actually forgot about this PR, life has been busy. Yes that would be a solution. When I started working on this, I didn't feel like it was right just to add a dependency on one of my own crates to fix the solution. Now that there seems to be more eyes looking over this and checking my logic, I'm feeling more confident that would be a viable solution

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants