Module cairo_lang_lowering::borrow_check::demand

Structs

• Demand
  Demanded variables from a certain point in the flow until the end of the function. Needs to be updates in backwards order.

Traits

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