struct LivenessContext<'me, 'typeck, 'flow, 'tcx> {
    typeck: &'me mut TypeChecker<'typeck, 'tcx>,
    elements: &'me RegionValueElements,
    body: &'me Body<'tcx>,
    move_data: &'me MoveData<'tcx>,
    drop_data: FxIndexMap<Ty<'tcx>, DropData<'tcx>>,
    flow_inits: &'me mut ResultsCursor<'flow, 'tcx, MaybeInitializedPlaces<'flow, 'tcx>>,
    local_use_map: &'me LocalUseMap,
}
Expand description

Contextual state for the type-liveness coroutine.

Fields§

§typeck: &'me mut TypeChecker<'typeck, 'tcx>

Current type-checker, giving us our inference context etc.

§elements: &'me RegionValueElements

Defines the PointIndex mapping

§body: &'me Body<'tcx>

MIR we are analyzing.

§move_data: &'me MoveData<'tcx>

Mapping to/from the various indices used for initialization tracking.

§drop_data: FxIndexMap<Ty<'tcx>, DropData<'tcx>>

Cache for the results of dropck_outlives query.

§flow_inits: &'me mut ResultsCursor<'flow, 'tcx, MaybeInitializedPlaces<'flow, 'tcx>>

Results of dataflow tracking which variables (and paths) have been initialized.

§local_use_map: &'me LocalUseMap

Index indicating where each variable is assigned, used, or dropped.

Implementations§

source§

impl<'tcx> LivenessContext<'_, '_, '_, 'tcx>

source

fn initialized_at_curr_loc(&self, mpi: MovePathIndex) -> bool

Returns true if the local variable (or some part of it) is initialized at the current cursor position. Callers should call one of the seek methods immediately before to point the cursor to the desired location.

source

fn initialized_at_terminator( &mut self, block: BasicBlock, mpi: MovePathIndex ) -> bool

Returns true if the local variable (or some part of it) is initialized in the terminator of block. We need to check this to determine if a DROP of some local variable will have an effect – note that drops, as they may unwind, are always terminators.

source

fn initialized_at_exit(&mut self, block: BasicBlock, mpi: MovePathIndex) -> bool

Returns true if the path mpi (or some part of it) is initialized at the exit of block.

Warning: Does not account for the result of Call instructions.

source

fn add_use_live_facts_for( &mut self, value: impl TypeVisitable<TyCtxt<'tcx>>, live_at: &IntervalSet<PointIndex> )

Stores the result that all regions in value are live for the points live_at.

source

fn add_drop_live_facts_for( &mut self, dropped_local: Local, dropped_ty: Ty<'tcx>, drop_locations: &[Location], live_at: &IntervalSet<PointIndex> )

Some variable with type live_ty is “drop live” at location – i.e., it may be dropped later. This means that some of the regions in its type must be live at location. The precise set will depend on the dropck constraints, and in particular this takes #[may_dangle] into account.

source

fn make_all_regions_live( elements: &RegionValueElements, typeck: &mut TypeChecker<'_, 'tcx>, value: impl TypeVisitable<TyCtxt<'tcx>>, live_at: &IntervalSet<PointIndex> )

source

fn compute_drop_data( typeck: &mut TypeChecker<'_, 'tcx>, dropped_ty: Ty<'tcx> ) -> DropData<'tcx>

Auto Trait Implementations§

§

impl<'me, 'typeck, 'flow, 'tcx> !RefUnwindSafe for LivenessContext<'me, 'typeck, 'flow, 'tcx>

§

impl<'me, 'typeck, 'flow, 'tcx> !Send for LivenessContext<'me, 'typeck, 'flow, 'tcx>

§

impl<'me, 'typeck, 'flow, 'tcx> !Sync for LivenessContext<'me, 'typeck, 'flow, 'tcx>

§

impl<'me, 'typeck, 'flow, 'tcx> Unpin for LivenessContext<'me, 'typeck, 'flow, 'tcx>

§

impl<'me, 'typeck, 'flow, 'tcx> !UnwindSafe for LivenessContext<'me, 'typeck, 'flow, 'tcx>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

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: 104 bytes