Module cairo_lang_lowering::borrow_check::demand

source ·

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

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