Module rustc_const_eval::transform::validate

Validates the MIR to ensure that invariants are upheld.

Structs

• CfgChecker 🔒
• TypeChecker 🔒
• Validator

Enums

• EdgeKind 🔒

Functions

• validate_types
  A faster version of the validation pass that only checks those things which may break when instantiating any generic parameters.