Expand description

Validates the MIR to ensure that invariants are upheld.

Structs

Enums

Functions

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