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

Sounds like you might be interested in

github.com/rust-lang/rfcs

MaybeDangling (#3336)

masterRalfJung: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…

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

Sounds like you might be interested in

github.com/rust-lang/rfcs

MaybeDangling (#3336)

masterRalfJung: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…

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

Sounds like you might be interested in

github.com/rust-lang/rfcs

MaybeDangling (#3336)

masterRalfJung: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…

Read more →
Page 1