Struct LocalInfo

pub struct LocalInfo {
    pub debug_name: Option<String>,
    pub kind: LocalKind,
    pub repr: MirLocalRepr,
    pub heap_ownership: MirHeapOwnership,
    pub ty: Ty,
}

Metadata tracked for each MIR local.

Fields

debug_name: Option<String>

Optional debug-facing name for the local.

kind: LocalKind

Provenance category of the local.

repr: MirLocalRepr

Runtime/storage representation of the local.

heap_ownership: MirHeapOwnership

Heap ownership policy used for retain/release and validation.

ty: Ty

Semantic type assigned to the local.

Implementations

impl LocalInfo

pub fn is_place(&self) -> bool

Return whether this local stores a place/reference.

pub fn is_mutable_place(&self) -> bool

Return whether this local stores a mutable place/reference.

pub fn place_item_ty(&self) -> Option<&Ty>

Return the semantic item type behind a place local, when applicable.

pub fn uses_heap_ops(&self) -> bool

Return whether this local needs runtime heap retain/release operations.

Trait Implementations

impl Clone for LocalInfo

fn clone(&self) -> LocalInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LocalInfo

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

Formats the value using the given formatter.