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.