pub struct Assume {
pub alignment: bool,
pub lifetimes: bool,
pub safety: bool,
pub validity: bool,
}
transmutability
#99571)Expand description
What transmutation safety conditions shall the compiler assume that you are checking?
Fields§
§alignment: bool
transmutability
#99571)When true
, the compiler assumes that you are ensuring (either dynamically or statically) that
destination referents do not have stricter alignment requirements than source referents.
lifetimes: bool
transmutability
#99571)When true
, the compiler assume that you are ensuring that lifetimes are not extended in a manner
that violates Rust’s memory model.
safety: bool
transmutability
#99571)When true
, the compiler assumes that you have ensured that it is safe for you to violate the
type and field privacy of the destination type (and sometimes of the source type, too).
validity: bool
transmutability
#99571)When true
, the compiler assumes that you are ensuring that the source type is actually a valid
instance of the destination type.
Implementations§
source§impl Assume
impl Assume
sourcepub const NOTHING: Self = _
🔬This is a nightly-only experimental API. (transmutability
#99571)
pub const NOTHING: Self = _
transmutability
#99571)Do not assume that you have ensured any safety properties are met.
sourcepub const ALIGNMENT: Self = _
🔬This is a nightly-only experimental API. (transmutability
#99571)
pub const ALIGNMENT: Self = _
transmutability
#99571)Assume only that alignment conditions are met.
sourcepub const LIFETIMES: Self = _
🔬This is a nightly-only experimental API. (transmutability
#99571)
pub const LIFETIMES: Self = _
transmutability
#99571)Assume only that lifetime conditions are met.
sourcepub const SAFETY: Self = _
🔬This is a nightly-only experimental API. (transmutability
#99571)
pub const SAFETY: Self = _
transmutability
#99571)Assume only that safety conditions are met.
sourcepub const VALIDITY: Self = _
🔬This is a nightly-only experimental API. (transmutability
#99571)
pub const VALIDITY: Self = _
transmutability
#99571)Assume only that dynamically-satisfiable validity conditions are met.