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

• DropPosition
• PanicState
  A state saved for each position in the back analysis. Used to determine if this flow is guaranteed to end in a panic.

Functions

• borrow_check
  Report borrow checking diagnostics.

Type Aliases

• BorrowCheckerDemand