1 //! The MIR is built from some typed high-level IR
2 //! (THIR). This section defines the THIR along with a trait for
3 //! accessing it. The intention is to allow MIR construction to be
4 //! unit-tested and separated from the Rust source and compiler data