Module mir
Expand description
MIR definitions and implementation
Structs§
- Basic
Block - Borrowck
Result - Evaluator
- Local
- MirBody
- Place
- Projection
Id - Projection
Store - Statement
- Switch
Targets - Terminator
- VTable
Map
Enums§
- Aggregate
Kind - BinOp
- Borrow
Kind - Cast
Kind - MirEval
Error - MirLower
Error - MirSpan
- MutBorrow
Kind - Mutability
Reason - Stores spans which implies that the local should be mutable.
- Operand
- 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.
- Projection
Elem - Rvalue
- Statement
Kind - Terminator
Kind - UnOp
Functions§
- borrowck_
query - interpret_
mir - lower_
to_ mir - mir_
body_ for_ closure_ query - mir_
body_ query - monomorphize_
mir_ body_ bad - monomorphized_
mir_ body_ for_ closure_ query - monomorphized_
mir_ body_ query - pad16
- render_
const_ using_ debug_ impl