Expand description

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.


This module contains the functionality to convert from the wacky tcx data structures into the THIR. The builder is generally ignorant of the tcx, etc., and instead goes through the Cx for most of its work.

Validation of patterns/matches.