Crate rustc_mir_build

source ·
Expand description

Construction of MIR from HIR.

This crate also contains the match exhaustiveness and usefulness checking.


build 🔒
errors 🔒
lints 🔒
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.