Enum cairo_lang_lowering::borrow_check::PanicState

pub enum PanicState {
    EndsWithPanic,
    Otherwise,
}

A state saved for each position in the back analysis. Used to determine if this flow is guaranteed to end in a panic.

Variants

EndsWithPanic

Otherwise

Trait Implementations

impl AuxCombine for PanicState

fn merge<'a, I: Iterator<Item = &'a Self>>(iter: I) -> Selfwhere 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 BorrowChecker<'a>

type IntroducePosition = Option<DropPosition>

type UsePosition = LocationId

fn drop_aux( &mut self, opt_drop_position: Option<DropPosition>, var_id: VariableId, panic_state: PanicState )

fn dup( &mut self, position: LocationId, var_id: VariableId, next_usage_position: LocationId )

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

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

fn unused_mapped_var(&mut self, _var: Var)

impl Copy for PanicState