Module rustc_const_eval::transform::validate

source ·
Expand description

Validates the MIR to ensure that invariants are upheld.

Structs

TypeChecker 🔒
Validator

Enums

EdgeKind 🔒