See doc.rs for a thorough explanation of the borrow checker

Module that constructs a control-flow graph representing an item. Uses Graph as the underlying representation.

A module for propagating forward dataflow information. The analysis assumes that the items to be propagated can be represented as bits and thus uses bitvectors. Your job is simply to specify the so-called GEN and KILL bits for each expression.

Resolution of mixing rlibs and dylibs

Enforces the Rust effect system. Currently there is just one effect,

A different sort of visitor for walking fn bodies. Unlike the normal visitor, which just walks the entire body in one shot, the ExprUseVisitor determines how expressions are being used.

A graph module for use in dataflow, region resolution, and elsewhere.

A classic liveness analysis based on dataflow over the AST. Computes, for each local variable in a function, whether that variable is live at a given point. Program execution points are identified by their id.

Categorization

A pass that checks to make sure private fields and methods aren't used outside their scopes. This pass will also generate a set of exported items which are available for use externally when compiled as a library.

This file actually contains two passes related to regions. The first pass builds up the scope_map, which describes the parent links in the region hierarchy. The second pass infers which types must be region parameterized.

Name resolution for lifetimes.

Output a CSV file containing the output from rustc's analysis. The data is primarily designed to be used as input to the DXR tool, specifically its Rust plugin. It could also be used by IDEs or other code browsing, search, or cross-referencing tools.

A pass that annotates every item and method with its stability level, propagating default levels lexically from parent to children ast nodes.

Validity checking for weak lang items