Module rustc_mir_build::thir

source ยท
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.


  • constant ๐Ÿ”’
  • cx ๐Ÿ”’
    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.
  • pattern ๐Ÿ”’
    Validation of patterns/matches.
  • print ๐Ÿ”’
  • util ๐Ÿ”’