Re-exports§
pub use visit::MirVisitor;pub use visit::MutMirVisitor;
Modules§
- alloc
- This module provides methods to retrieve allocation information, such as static variables.
- body 🔒
- mono
- pretty
- Implement methods to pretty print rustc_public’s IR body.
- visit
- The rustc_public’s IR Visitor
Structs§
- Basic
Block - Body
- The rustc_public’s IR representation of a single function.
- Const
Operand - Copy
NonOverlapping - Inline
AsmOperand - Local
Decl - Place
- Source
Info - Source
Scope Info - Data about a source scope, used for caller location resolution.
- 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 - Operand
- Pointer
Coercion - Projection
Elem - RawPtr
Kind - Runtime
Checks - Rvalue
- Safety
- Statement
Kind - Terminator
Kind - UnOp
- Unwind
Action - VarDebug
Info Contents - Variance
- With
Retag - Describes what kind of retag is to be performed
Constants§
Functions§
- max_
scope - Return the maximum scope index referenced by any terminator or statement in
blocks.
Type Aliases§
- Basic
Block Idx - Coverage
- The rustc coverage data structures are heavily tied to internal details of the coverage implementation that are likely to change, and are unlikely to be useful to third-party tools for the foreseeable future.
- Field
Idx - The source-order index of a field in a variant.
- Local
- Local
Decls - Local
DefId - Source
Scope - Successors
- User
Type Annotation Index