Crate rustc_borrowckUnstable[stability] [-] [+] [src]

Modules

diagnostics
graphviz

This module provides linkage between rustc::middle::graph and libgraphviz traits, specialized to attaching borrowck analysis data to rendered labels.

Structs

FnPartsWithCFG

This and a ty::ctxt is all you need to run the dataflow analyses used in the borrow checker.

Functions

build_borrowck_dataflow_data_for_fn

Accessor for introspective clients inspecting AnalysisData and the BorrowckCtxt itself , e.g. the flowgraph visualizer.

check_crate