kvarn_async::prelude::compact_str::core::mem

Struct Assume

source 
pub struct Assume {
    pub alignment: bool,
    pub lifetimes: bool,
    pub safety: bool,
    pub validity: bool,
}
🔬This is a nightly-only experimental API. (transmutability)
Expand description

Configurable proof assumptions of TransmuteFrom.

When false, the respective proof obligation belongs to the compiler. When true, the onus of the safety proof belongs to the programmer.

Fields§

§alignment: bool
🔬This is a nightly-only experimental API. (transmutability<