`MaybeInvalid<T>` - separate concepts of uninitialized memory and invalid values

Sounds like you might be interested in

github.com/rust-lang/rfcs

MaybeDangling (#3336)

master ← RalfJung:maybe-dangling

opened 02:59PM - 29 Oct 22 UTC

RalfJung

+268 -0

Declare that references and Box inside a new MaybeDangling type do not need …to satisfy any memory-dependent validity properties (such as dereferenceable and noalias). Rendered Thanks to @rust-lang/wg-unsafe-code-guidelines for a lot of helpful feedback :) Tracking: - https://github.com/rust-lang/rust/issues/118166