Expand description
Validates the MIR to ensure that invariants are upheld.
Structsยง
- CfgChecker ๐
- This checker covers basic properties of the control-flow graph, (dis)allowed statements and terminators. Everything checked here must be stable under substitution of generic parameters. In other words, this is about the structure of the MIR, not the contents.
- Type
Checker ๐ - Validator ๐
Enumsยง
- Edge
Kind ๐
Functionsยง
- validate_
types ๐ - A faster version of the validation pass that only checks those things which may break when instantiating any generic parameters.