Struct cairo_lang_lowering::borrow_check::Demand

pub struct Demand {
    pub vars: OrderedHashSet<VariableId>,
}

Demanded variables from a certain point in the flow until the end of the function.

Fields

vars: OrderedHashSet<VariableId>

Implementations

impl Demand

pub fn variables_used( &mut self, borrow_checker: &mut BorrowChecker<'_>, vars: &[VariableId] )

Updates the demand when some variables are used right before the current flow.

pub fn variables_introduced( &mut self, borrow_checker: &mut BorrowChecker<'_>, vars: &[VariableId] )

Updates the demand when some variables are introduced right before the current flow.

Trait Implementations

impl Clone for Demand

fn clone(&self) -> Demand

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for Demand

fn default() -> Demand

Returns the “default value” for a type.