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.

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

Zero sized types and raw pointers #1263

Open
jhjourdan opened this issue Nov 28, 2024 · 0 comments
Open

Zero sized types and raw pointers #1263

jhjourdan opened this issue Nov 28, 2024 · 0 comments
Labels
low-priority Given a low priority soundness Enhance soundness

Comments

@jhjourdan
Copy link
Collaborator

jhjourdan commented Nov 28, 2024 •
edited by Armael
Loading

creating a PtrOwn from e.g., a Box, should require that the underlying value is not zero-size, because uniqueness guarantees do not hold for ZSTs.

We currently have an assert for this, but we shuould instead check this statically using a pre-condition.
@jhjourdan jhjourdan added soundness Enhance soundness low-priority Given a low priority labels Nov 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
low-priority Given a low priority soundness Enhance soundness
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jhjourdan