Module rustc_borrowck::dataflow

Macros

• impl_visitable 🔒

Structs

• BorrowIndex
• BorrowckAnalyses
  A tuple with named fields that can hold either the results or 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 🔒

Functions

• calculate_borrows_out_of_scope_at_location

Type Aliases

• BorrowckFlowState
  The transient state of the dataflow analyses used by the borrow checker.
• BorrowckResults
  The results of the dataflow analyses used by the borrow checker.