Module rustc_mir::dataflow::framework::visitor

Structs

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.

Traits

ResultsVisitable	Things that can be visited by a ResultsVisitor.
ResultsVisitor

Functions

visit_results

Calls the corresponding method in ResultsVisitor for every location in a mir::Body with the dataflow state at that location.

Type Definitions

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.