Module dataflow

Structs

• BorrowIndex
• BorrowckDomain 🔒
  The transient state of the dataflow analyses used by the borrow checker.
• BorrowckResults 🔒
  The results of the dataflow analyses used by the borrow checker.
• Borrows
  Borrows stores the data used in the analyses that track the flow of borrows.
• OutOfScopePrecomputer 🔒
• PoloniusOutOfScopePrecomputer 🔒

Functions

• calculate_borrows_out_of_scope_at_location