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.