Enum miri::borrow_tracker::stacked_borrows::NewPermission

enum NewPermission {
    Uniform {
        perm: Permission,
        access: Option<AccessKind>,
        protector: Option<ProtectorKind>,
    },
    FreezeSensitive {
        freeze_perm: Permission,
        freeze_access: Option<AccessKind>,
        freeze_protector: Option<ProtectorKind>,
        nonfreeze_perm: Permission,
        nonfreeze_access: Option<AccessKind>,
    },
}

Indicates which permissions to grant to the retagged pointer.

Variants

Uniform

Fields

perm: Permission

access: Option<AccessKind>

protector: Option<ProtectorKind>

FreezeSensitive

Fields

freeze_perm: Permission

freeze_access: Option<AccessKind>

freeze_protector: Option<ProtectorKind>

nonfreeze_perm: Permission

nonfreeze_access: Option<AccessKind>

Implementations

impl NewPermission

fn from_ref_ty<'tcx>( ty: Ty<'tcx>, kind: RetagKind, cx: &MiriInterpCx<'_, 'tcx> ) -> Self

A key function: determine the permissions to grant at a retag for the given kind of reference/pointer.

fn from_box_ty<'tcx>( ty: Ty<'tcx>, kind: RetagKind, cx: &MiriInterpCx<'_, 'tcx> ) -> Self

fn protector(&self) -> Option<ProtectorKind>

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.

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

Size for each variant:

• Uniform: 3 bytes
• FreezeSensitive: 5 bytes