Enum miri::borrow_tracker::ProtectorKind

pub enum ProtectorKind {
    WeakProtector,
    StrongProtector,
}

The flavor of the protector.

Variants

WeakProtector

Protected against aliasing violations from other pointers.

Items protected like this cause UB when they are invalidated, but the pointer itself may still be used to issue a deallocation.

This is required for LLVM IR pointers that are noalias but not dereferenceable.

StrongProtector

Protected against any kind of invalidation.

Items protected like this cause UB when they are invalidated or the memory is deallocated. This is strictly stronger protection than WeakProtector.

This is required for LLVM IR pointers that are dereferenceable (and also allows noalias).

Trait Implementations

impl Clone for ProtectorKind

fn clone(&self) -> ProtectorKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProtectorKind

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

Formats the value using the given formatter.

impl PartialEq<ProtectorKind> for ProtectorKind

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

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

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.

impl Copy for ProtectorKind

impl Eq for ProtectorKind

impl StructuralEq for ProtectorKind

impl StructuralPartialEq for ProtectorKind

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 1 byte

Size for each variant:

• WeakProtector: 0 bytes
• StrongProtector: 0 bytes