Module validate

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