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

Enums

• ReportPosition
  The position associated with the demand reporting. This is provided at every demand computation, and passed to the reporter when needed. This is used here to specify if we want diagnostics to be reported at the location or not.

Functions

• borrow_check
  Report borrow checking diagnostics.

Type Definitions

• LoweredDemand