Enum rustc::mir::ValidationOp

pub enum ValidationOp {
    Acquire,
    Release,
    Suspend(Scope),
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

The ValidationOp describes what happens with each of the operands of a Validate statement.

Variants

Acquire

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Recursively traverse the place following the type and validate that all type invariants are maintained. Furthermore, acquire exclusive/read-only access to the memory reachable from the place.

Release

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Recursive traverse the mutable part of the type and relinquish all exclusive access.

Suspend(Scope)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Recursive traverse the mutable part of the type and relinquish all exclusive access until the given region ends. Then, access will be recovered.

Trait Implementations

impl<'tcx> HashStable<StableHashingContext<'tcx>> for ValidationOp

fn hash_stable<W: StableHasherResult>(
    &self,
    __ctx: &mut StableHashingContext<'tcx>,
    __hasher: &mut StableHasher<W>
)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl Copy for ValidationOp

impl Clone for ValidationOp

fn clone(&self) -> ValidationOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Encodable for ValidationOp

fn encode<__S: Encoder>(&self, __arg_0: &mut __S) -> Result<(), __S::Error>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl Decodable for ValidationOp

fn decode<__D: Decoder>(__arg_0: &mut __D) -> Result<ValidationOp, __D::Error>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl PartialEq for ValidationOp

fn eq(&self, __arg_0: &ValidationOp) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &ValidationOp) -> bool

This method tests for !=.

impl Eq for ValidationOp

impl Debug for ValidationOp

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.