Expand description

Construction of MIR from HIR.

This crate also contains the match exhaustiveness and usefulness checking.

Modules

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

Functions