Module rustc_mir::transform::type_check [−] [src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

This pass type-checks the MIR to ensure it is not broken.

Structs

Locations [
Experimental
]
MirTypeckRegionConstraints [
Experimental
]

A collection of region constraints that must be satisfied for the program to be considered well-typed.
OutlivesSet [
Experimental
]

Outlives relationships between regions and types created at a particular point within the control-flow graph.
TypeChecker [
Experimental
]

The MIR type checker. Visits the MIR and enforces all the constraints needed for it to be valid and well-typed. Along the way, it accrues region constraints -- these can later be used by NLL region checking.
TypeckMir [
Experimental
]

Functions

type_check [
Experimental
]

Type checks the given mir in the context of the inference context infcx. Returns any region constraints that have yet to be proven.