Enum miri::borrow_tracker::tree_borrows::diagnostics::TransitionError

pub(super) enum TransitionError {
    ChildAccessForbidden(Permission),
    ProtectedDisabled(Permission),
    ProtectedDealloc,
}

Variants

ChildAccessForbidden(Permission)

This access is not allowed because some parent tag has insufficient permissions. For example, if a tag is Frozen and encounters a child write this will produce a ChildAccessForbidden(Frozen). This kind of error can only occur on child accesses.

ProtectedDisabled(Permission)

A protector was triggered due to an invalid transition that loses too much permissions. For example, if a protected tag goes from Active to Disabled due to a foreign write this will produce a ProtectedDisabled(Active). This kind of error can only occur on foreign accesses.

ProtectedDealloc

Cannot deallocate because some tag in the allocation is strongly protected. This kind of error can only occur on deallocations.

Trait Implementations

impl Clone for TransitionError

fn clone(&self) -> TransitionError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransitionError

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

Formats the value using the given formatter.

impl Copy for TransitionError

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: 2 bytes

Size for each variant:

• ChildAccessForbidden: 1 byte
• ProtectedDisabled: 1 byte
• ProtectedDealloc: 0 bytes