Struct NewPermission 

pub struct NewPermission {
    freeze_perm: Permission,
    freeze_access: bool,
    nonfreeze_perm: Permission,
    nonfreeze_access: bool,
    outside_perm: Permission,
    protector: Option<ProtectorKind>,
}

Policy for a new borrow.

Fields

freeze_perm: Permission

Permission for the frozen part of the range.

freeze_access: bool

Whether a read access should be performed on the frozen part on a retag.

nonfreeze_perm: Permission

Permission for the non-frozen part of the range.

nonfreeze_access: bool

Whether a read access should be performed on the non-frozen part on a retag.

outside_perm: Permission

Permission for memory outside the range.

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 new( pointee: Ty<'tcx>, ref_mutability: Option<Mutability>, retag_kind: RetagKind, cx: &MiriInterpCx<'tcx>, ) -> Option<Self>

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

A ref_mutability of None indicates a Box type.

Trait Implementations

impl Clone for NewPermission

fn clone(&self) -> NewPermission

Returns a duplicate 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: 6 bytes