Re-exports§
pub use visit::MirVisitor;
Modules§
- alloc
- This module provides methods to retrieve allocation information, such as static variables.
- body 🔒
- mono
- pretty
- Implement methods to pretty print stable MIR body.
- visit
- The Stable MIR Visitor
Structs§
- Basic
Block - Body
- The SMIR representation of a single function.
- Const
Operand - Copy
NonOverlapping - Inline
AsmOperand - Local
Decl - Place
- Source
Info - Statement
- Switch
Targets - The possible branch sites of a TerminatorKind::SwitchInt.
- Terminator
- User
Type Projection - VarDebug
Info - Debug information pertaining to a user variable.
- VarDebug
Info Fragment
Enums§
- Aggregate
Kind - Assert
Message - BinOp
- Borrow
Kind - Cast
Kind - Coroutine
Desugaring - Coroutine
Kind - Coroutine
Source - Fake
Borrow Kind - Fake
Read Cause - The FakeReadCause describes the type of pattern why a FakeRead statement exists.
- MutBorrow
Kind - Mutability
- NonDiverging
Intrinsic - NullOp
- Operand
- Pointer
Coercion - Projection
Elem - RawPtr
Kind - Retag
Kind - Describes what kind of retag is to be performed
- Rvalue
- Safety
- Statement
Kind - Terminator
Kind - UnOp
- Unwind
Action - VarDebug
Info Contents - Variance
Constants§
Type Aliases§
- Basic
Block Idx - Field
Idx - The source-order index of a field in a variant.
- Local
- Source
Scope - Successors