Module rustc_middle::mir::syntax

source ·
Expand description

This defines the syntax of MIR, i.e., the set of available MIR operations, and other definitions closely related to MIR semantics. This is in a dedicated file so that changes to this file can be reviewed more carefully. The intention is that this file only contains datatype declarations, no code.



  • Places roughly correspond to a “location in memory.” Places in MIR are the same mathematical object as places in Rust. This of course means that what exactly they are is undecided and part of the Rust memory model. However, they will likely contain at least the following pieces of information in some form:


Type Aliases§

  • Type for MIR Assert terminator error messages.
  • Alias for projections as they appear in places, where the base is a place and the index is a local.