Crate rustc_middle
source ·Expand description
The “main crate” of the Rust compiler. This crate contains common type definitions that are used by the other crates in the rustc “family”. Some prominent examples (note that each of these modules has their own README with further details).
- HIR. The “high-level (H) intermediate representation (IR)” is
defined in the
hir
module. - MIR. The “mid-level (M) intermediate representation (IR)” is
defined in the
mir
module. This module contains only the definition of the MIR; the passes that transform and operate on MIR are found inrustc_const_eval
crate. - Types. The internal representation of types used in rustc is
defined in the
ty
module. This includes the type context (ortcx
), which is the central context during most of compilation, containing the interners and other things.
For more information about how rustc works, see the rustc dev guide.
Note
This API is completely unstable and subject to change.
Modules
- HIR datatypes. See the rustc dev guide for more info.
- macros 🔒
- MIR datatypes and passes. See the rustc dev guide for more info.
- Defines the various compiler queries.
- THIR datatypes and definitions. See the rustc dev guide for more info.
- Trait Resolution. See the rustc dev guide for more information on how this works.
- Defines how the compiler represents types internally.
- values 🔒
Macros
- Used for types that are
Copy
and which do not care arena allocated data (i.e., don’t need to be folded). - This higher-order macro declares a list of types which can be allocated by
Arena
. - A macro for triggering an ICE. Calling
bug
instead of panicking will result in a nicer error message and should therefore be preferred overpanic
/unreachable
or others. - A macro for triggering an ICE with a span. Calling
span_bug!
instead of panicking will result in a nicer error message and point at the code the compiler was compiling when it ICEd. This is the preferred way to trigger ICEs.
Statics
- Raw content of Fluent resource for this crate, generated by
fluent_messages
macro, imported byrustc_driver
to include all crates’ resources in one bundle.