Expand description
Construction of MIR from HIR.
Modules§
- builder 🔒
- This module used to be named
build, but that was causing GitHub’s “Go to file” feature to silently ignore all files in the module, probably because it assumes that “build” is a build-output directory. See https://github.com/rust-lang/rust/pull/134365. - check_
tail_ 🔒calls - check_
unsafety 🔒 - errors 🔒
- thir
- 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.