`MaybeValid<T>`
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
*Needed by #497*
*Could be supported by #1797*
A type with the same layout as `T` (including alignment) but fewer bit validity requirements. Bytes must be initialized if required by `T`, but they may be uninitialized if permitted by `T`. This is exactly equivalent to the semantics of the `AsInitialized` `Ptr` invariant:
https://github.com/google/zerocopy/blob/06fd1b2753d0e45f1913423e3e1d9d68e5bf09fd/src/pointer/ptr.rs#L260-L291
cc @kupiakos
Contributor guide
Assessment
This issue has not been assessed yet.