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.