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…