Module rustc_const_eval::transform::validate

Validates the MIR to ensure that invariants are upheld.

Macros

• check_kinds 🔒

Structs

• TypeChecker 🔒
• Validator

Enums

• EdgeKind 🔒