Trait cairo_lang_lowering::borrow_check::demand::DemandReporter

pub trait DemandReporter<Var> {
    type UsePosition: Copy;
    type IntroducePosition: Copy;

    // Provided methods
    fn drop(&mut self, _position: Self::IntroducePosition, _var: Var) { ... }
    fn dup(&mut self, _position: Self::UsePosition, _var: Var) { ... }
    fn last_use(
        &mut self,
        _position: Self::UsePosition,
        _var_index: usize,
        _var: Var
    ) { ... }
    fn unused_mapped_var(&mut self, _var: Var) { ... }
}

A reporting trait that reports each variables dup, drop and last_use positions.

Required Associated Types

type UsePosition: Copy

type IntroducePosition: Copy

Provided Methods

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

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

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

fn unused_mapped_var(&mut self, _var: Var)

Implementors

impl DemandReporter<Id<Variable>> for MatchOptimizerContext

type IntroducePosition = ()

type UsePosition = ()

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

type IntroducePosition = (BlockId, usize)

type UsePosition = ()

impl<'a> DemandReporter<Id<Variable>> for BorrowChecker<'a>

type IntroducePosition = ()

type UsePosition = ()