Struct miri::borrow_tracker::tree_borrows::NewPermission

struct NewPermission {
    zero_size: bool,
    initial_state: Permission,
    protector: Option<ProtectorKind>,
}

Policy for a new borrow.

Fields

zero_size: bool

Optionally ignore the actual size to do a zero-size reborrow. If this is set then dereferenceable is not enforced.

initial_state: Permission

Which permission should the pointer start with.

protector: Option<ProtectorKind>

Whether this pointer is part of the arguments of a function call. protector is Some(_) for all pointers marked noalias.

Implementations

impl<'tcx> NewPermission

fn from_ref_ty( pointee: Ty<'tcx>, mutability: Mutability, kind: RetagKind, cx: &MiriInterpCx<'_, 'tcx> ) -> Option<Self>

Determine NewPermission of the reference from the type of the pointee.

fn from_unique_ty( ty: Ty<'tcx>, kind: RetagKind, cx: &MiriInterpCx<'_, 'tcx>, zero_size: bool ) -> Option<Self>

Compute permission for Box-like type (Box always, and also Unique if enabled). These pointers allow deallocation so need a different kind of protector not handled by from_ref_ty.

Trait Implementations

impl Clone for NewPermission

fn clone(&self) -> NewPermission

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NewPermission

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

Formats the value using the given formatter.

impl Copy for NewPermission

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