Crate rustc_mir_build[][src]

Expand description

Construction of MIR from HIR.

This crate also contains the match exhaustiveness and usefulness checking.


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.