rustc_mir_transform

Module validate

Source
Expand description

Validates the MIR to ensure that invariants are upheld.

Structs§

Enums§

Functions§

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