Module drop_flag_effects

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

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