Module 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.