Enum PanicState

pub enum PanicState {
    EndsWithPanic(Vec<PanicLocation>),
    Otherwise,
}

A state saved for each position in the back analysis. Used to determine if a Panic object is guaranteed to exist or be created, an where.

Variants

EndsWithPanic(Vec<PanicLocation>)

The flow will end with a panic. The locations are all the possible places a Panic object can be created from this flow. The flow is guaranteed to end up in one of these places.

Otherwise

Trait Implementations

impl AuxCombine for PanicState

How to combine two panic states in a flow divergence.

fn merge<'a, I: Iterator<Item = &'a Self>>(iter: I) -> Self

where Self: 'a,

impl Clone for PanicState

fn clone(&self) -> PanicState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for PanicState

fn default() -> PanicState

Returns the “default value” for a type.

impl<'a> DemandReporter<Id<Variable>, PanicState> for DestructAdder<'a>

type IntroducePosition = (BlockId, usize)

type UsePosition = ()

fn drop_aux( &mut self, position: StatementLocation, var_id: VariableId, panic_state: PanicState, )

fn drop(&mut self, _position: Self::IntroducePosition, _var: Var)

fn dup( &mut self, _position: Self::UsePosition, _var: Var, _next_usage_position: Self::UsePosition, )

fn last_use(&mut self, _position: Self::UsePosition, _var: Var)

fn unused_mapped_var(&mut self, _var: Var)