cairo_lang_lowering::borrow_check

Module analysis

source
Expand description

This module introduced the BackAnalysis utility that allows writing analyzers that go backwards in the flow of the program, on a Lowered representation.

Structs§

  • BackAnalysis
    Main analysis type that allows traversing the flow backwards.

Traits§

  • Analyzer
    Analyzer trait to implement for each specific analysis.

Type Aliases§