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

Make HeaderSliceWithLen… always contain slices #110

Conversation

steffahn
Copy link
Contributor

This also changes the ptr: field of ThinArc back to be a non-…Protected type. And that's good, because it used [T; 0] so the invariantes used to be deliberately broken.

ptr: ptr::NonNull<ArcInner<HeaderSlice<HeaderWithLength<H>, [T; 0]>>>

After this, I also looked through all uses of ptr and reworked a few of them (for instance, many of them directly passed the pointer to thin_to_thick; which is now part of thin_to_thick itself.

This PR currently targets the PR branch of #108 directly, so feel free to fast-forward merge if it should become part of #108, or let me re-target master if this should become a follow-up PR.

@Manishearth Manishearth deleted the branch Manishearth:headerslice-checked December 31, 2024 20:21
@Manishearth
Copy link
Owner

(PR autoclosed because I deleted the branch, remake against master)

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.

2 participants