Module rustc_mir_transform::add_retag
source · Expand description
This pass adds validation calls (AcquireValid, ReleaseValid) where appropriate. It has to be run really early, before transformations like inlining, because introducing these calls adds UB – so, conceptually, this pass is actually part of MIR building, and only after this pass we think of the program has having the normal MIR semantics.
Structs
Functions
Determine whether this type may contain a reference (or box), and thus needs retagging.
We will only recurse
depth
times into Tuples/ADTs to bound the cost of this.