Struct core::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)

编译器应假定 你 正在检查哪些转换安全条件?

Fields

alignment: bool

🔬This is a nightly-only experimental API. (transmutability #99571)

当 true 时，编译器假定 你 确保 (动态或静态) 目标引用对象没有比源引用对象更严格的对齐要求。

lifetimes: bool

🔬This is a nightly-only experimental API. (transmutability #99571)

当 true 时，编译器假设 你 确保生命周期不会以违反 Rust 内存模型的方式扩展。

safety: bool

🔬This is a nightly-only experimental API. (transmutability #99571)

当 true 时，编译器假定 你 已确保您可以安全地违反目标类型 (有时也是源类型) 的类型和字段隐私。

validity: bool

🔬This is a nightly-only experimental API. (transmutability #99571)

当 true 时，编译器假定 你 确保源类型实际上是目标类型的有效实例。

Implementations

impl Assume

pub const NOTHING: Self = _

🔬This is a nightly-only experimental API. (transmutability #99571)

不要假设您已确保满足任何安全属性。

pub const ALIGNMENT: Self = _

🔬This is a nightly-only experimental API. (transmutability #99571)

仅假设满足对齐条件。

pub const LIFETIMES: Self = _

🔬This is a nightly-only experimental API. (transmutability #99571)

假设仅满足生命周期条件。

pub const SAFETY: Self = _

🔬This is a nightly-only experimental API. (transmutability #99571)

仅假设满足安全条件。

pub const VALIDITY: Self = _

🔬This is a nightly-only experimental API. (transmutability #99571)

仅假设满足动态可满足的有效性条件。

pub const fn and(self, other_assumptions: Self) -> Self

🔬This is a nightly-only experimental API. (transmutability #99571)

假设 self 和 other_assumptions。

pub const fn but_not(self, other_assumptions: Self) -> Self

🔬This is a nightly-only experimental API. (transmutability #99571)

假设 self，other_assumptions 除外。

Trait Implementations

impl Add<Assume> for Assume

type Output = Assume

应用 + 运算符后的结果类型。

fn add(self, other_assumptions: Assume) -> Assume

执行 + 操作。

impl Clone for Assume

fn clone(&self) -> Assume

返回值的副本。

fn clone_from(&mut self, source: &Self)

从 source 执行复制分配。

impl Debug for Assume

fn fmt(&self, f: &mut Formatter<'_>) -> Result

使用给定的格式化程序格式化该值。

impl PartialEq<Assume> for Assume

fn eq(&self, other: &Assume) -> bool

此方法测试 self 和 other 值是否相等，并由 == 使用。

fn ne(&self, other: &Rhs) -> bool

此方法测试 !=。 默认实现几乎总是足够的，并且不应在没有充分理由的情况下被覆盖。

impl Sub<Assume> for Assume

type Output = Assume

应用 - 运算符后的结果类型。

fn sub(self, other_assumptions: Assume) -> Assume

执行 - 操作。

impl Copy for Assume

impl Eq for Assume

impl StructuralEq for Assume

impl StructuralPartialEq for Assume