Module drop_flag_effects 

Re-exports

use rustc_abi::VariantIdx; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::Terminator; 🔒

use rustc_middle::mir::TerminatorKind; 🔒

use smallvec::SmallVec; 🔒

use tracing::debug; 🔒

use super::move_paths::InitKind; 🔒

use super::move_paths::LookupResult; 🔒

use super::move_paths::MoveData; 🔒

use super::move_paths::MovePathIndex; 🔒

Enums

DropFlagState

The value of an inserted drop flag.

InactiveVariants 🔒

Indicates which variants are inactive at a SwitchInt edge by listing their VariantIdxs or specifying the single active variant’s VariantIdx.

Functions

drop_flag_effects_for_function_entry

Calls callback for each child move path of the function’s arguments. Note the move paths’ DropFlagState argument to the callback will always be DropFlagState::Present.

drop_flag_effects_for_location

for_location_inits 🔒

move_path_children_matching

on_all_children_bits

on_all_inactive_variants 🔒

Calls handle_inactive_variant for each child move path of enum_place corresponding to an inactive variant at a particular SwitchInt edge.

on_lookup_result_bits