Crate rustc_mir_build[−][src]
Expand description
Construction of MIR from HIR.
This crate also contains the match exhaustiveness and usefulness checking.
Modules
The MIR is built from some typed high-level IR (THIR). This section defines the THIR along with a trait for accessing it. The intention is to allow MIR construction to be unit-tested and separated from the Rust source and compiler data structures.