Module 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.

Modulesยง

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 ๐Ÿ”’