Module dataflow

Structs

BorrowIndex

Borrowck 🔒

BorrowckDomain 🔒

The transient state 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

Type Aliases

BorrowsDomain 🔒