Docs4dev
Docs
rust / latest / std / mem / struct.assume.html

Struct std::mem::Assume

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

What transmutation safety conditions shall the compiler assume that you are checking?

Fields

alignment: bool
🔬This is a nightly-only experimental API. (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
🔬This is a nightly-only experimental API. (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
🔬This is a nightly-only experimental API. (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
🔬This is a nightly-only experimental API. (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
source 
pub const NOTHING: Assume = _
🔬This is a nightly-only experimental API. (transmutability #99571)

Do not assume that you have ensured any safety properties are met.

source 
pub const ALIGNMENT: Assume = _
🔬This is a nightly-only experimental API. (transmutability #99571)

Assume only that alignment conditions are met.

source 
pub const LIFETIMES: Assume = _
🔬This is a nightly-only experimental API. (transmutability #99571)

Assume only that lifetime conditions are met.

source 
pub const SAFETY: Assume = _
🔬This is a nightly-only experimental API. (transmutability #99571)

Assume only that safety conditions are met.

source 
pub const VALIDITY: Assume = _
🔬This is a nightly-only experimental API. (transmutability #99571)

Assume only that dynamically-satisfiable validity conditions are met.

source 
pub const fn and(self, other_assumptions: Assume) -> Assume
🔬This is a nightly-only experimental API. (transmutability #99571)

Assume both self and other_assumptions.

source 
pub const fn but_not(self, other_assumptions: Assume) -> Assume
🔬This is a nightly-only experimental API. (transmutability #99571)

Assume self, excepting other_assumptions.

Trait Implementations

source 
impl Add for Assume
 
type Output = Assume
The resulting type after applying the + operator.
source 
fn add(self, other_assumptions: Assume) -> Assume
Performs the + operation. Read more
source 
impl Clone for Assume
source 
fn clone(&self) -> Assume
Returns a copy of the value. Read more
1.0.0source 
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source 
impl Debug for Assume
source 
fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>
Formats the value using the given formatter. Read more
source 
impl PartialEq for Assume
source 
fn eq(&self, other: &Assume) -> bool
This method tests for self and other values to be equal, and is used by ==.
1.0.0source 
fn ne(&self, other: &Rhs) -> bool
This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source 
impl Sub for Assume
 
type Output = Assume
The resulting type after applying the - operator.
source 
fn sub(self, other_assumptions: Assume) -> Assume
Performs the - operation. Read more
source 
impl ConstParamTy for Assume
source 
impl Copy for Assume
source 
impl Eq for Assume
source 
impl StructuralEq for Assume
source 
impl StructuralPartialEq for Assume

Auto Trait Implementations

impl RefUnwindSafe for Assume
impl Send for Assume
impl Sync for Assume
impl Unpin for Assume
impl UnwindSafe for Assume

Blanket Implementations

source 
impl<T> Any for T
where
    T: 'static + ?Sized,
source 
fn type_id(&self) -> TypeId
Gets the TypeId of self. Read more
source 
impl<T> Borrow<T> for T
where
    T: ?Sized,
source 
fn borrow(&self) -> &T
Immutably borrows from an owned value. Read more
source 
impl<T> BorrowMut<T> for T
where
    T: ?Sized,
source 
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source 
impl<T> From<T> for T
source 
fn from(t: T) -> T

Returns the argument unchanged.

source 
impl<T, U> Into<U> for T
where
    U: From<T>,
source 
fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source 
impl<T> ToOwned for T
where
    T: Clone,
 
type Owned = T
The resulting type after obtaining ownership.
source 
fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
source 
fn clone_into(&self, target: &mut T)
Uses borrowed data to replace owned data, usually by cloning. Read more
source 
impl<T, U> TryFrom<U> for T
where
    U: Into<T>,
 
type Error = Infallible
The type returned in the event of a conversion error.
source 
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
Performs the conversion.
source 
impl<T, U> TryInto<U> for T
where
    U: TryFrom<T>,
 
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
source 
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
Performs the conversion.

© 2010 The Rust Project Developers
Licensed under the Apache License, Version 2.0 or the MIT license, at your option.
https://doc.rust-lang.org/std/mem/struct.Assume.html