Struct rustc_mir::dataflow::move_paths::Init

pub struct Init {
    pub path: MovePathIndex,
    pub location: InitLocation,
    pub kind: InitKind,
}

Init represents a point in a program that initializes some L-value;

Fields

path: MovePathIndex

path being initialized

location: InitLocation

location of initialization

kind: InitKind

Extra information about this initialization

Implementations

impl Init

pub(crate) fn span<'tcx>(&self, body: &Body<'tcx>) -> Span

Trait Implementations

impl Clone for Init

fn clone(&self) -> Init

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Init

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

Formats the value using the given formatter.

impl Copy for Init