Expand description
MIR definitions and implementation
Structs§
Enums§
- Stores spans which implies that the local should be mutable.
- An operand in MIR represents a “value” in Rust, the definition of which is undecided and part of the memory model. One proposal for a definition of values can be found on UCG.