Module move_paths 

MovePaths track the initialization state of places and their sub-paths.

Re-exports

use std::fmt; 🔒

use std::ops::Index; 🔒

use std::ops::IndexMut; 🔒

use rustc_abi::FieldIdx; 🔒

use rustc_abi::VariantIdx; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_index::IndexSlice; 🔒

use rustc_index::IndexVec; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::Span; 🔒

use smallvec::SmallVec; 🔒

use crate::un_derefer::UnDerefer; 🔒

use rustc_middle::mir::*; 🔒

Modules

builder 🔒

Structs

Init

Init represents a point in a program that initializes some L-value. The dual of MoveOut.

InitIndex

Index identifying an Init.

LocationMap

MoveData

MoveOut

MoveOut represents a point in a program that moves out of some L-value; i.e., “creates” uninitialized memory. The dual of Init.

MoveOutIndex

Index identifying a MoveOut.

MovePath

MovePath is a canonicalized representation of a place that is of interest to dataflow analysis, as identified by gather_moves. This is primarily places that are moved or inited (assigned). Each MovePath is assigned a MovePathIndex by which it can be referred to.

MovePathIndex

Index identifying a MovePath.

MovePathLinearIter 🔒

MovePathLookup

Tables mapping from a place to its MovePathIndex.

Enums

InitKind

Additional information about the initialization.

InitLocation

Initializations can be from an argument or from a statement. Arguments do not have locations, in those cases the Local is kept.

LookupResult

MoveSubPath 🔒

A projection into a move path producing a child path

MoveSubPathResult 🔒

Traits

HasMoveData