cairo_lang_lowering::borrow_check

Module 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.
EmptyDemandReporter

Traits§

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