Module rustc_const_eval::transform::validate
source · Expand description
Validates the MIR to ensure that invariants are upheld.
Structs
Enums
- EdgeKind 🔒
Functions
- A faster version of the validation pass that only checks those things which may break when instantiating any generic parameters.