Module cairo_lang_lowering::borrow_check

Structs

• BorrowChecker
• CallsiteInfo
  Information about the callsite of the current block. When lowering uses Goto, this won’t be necessary.
• Demand
  Demanded variables from a certain point in the flow until the end of the function.
• RealBlock
  Borrowchecking uses sequential flow block. Every branching statement splits the block. When lowering uses Goto, the lowering will also use these kind of blocks, and we won’t have this indirection.

Functions

• borrow_check
  Report borrow checking diagnostics.