Module cairo_lang_lowering::borrow_check

Re-exports

• pub use self::demand::Demand;

Modules

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

Structs

• BorrowChecker

Functions

• borrow_check
  Report borrow checking diagnostics.

Type Definitions

• LoweredDemand