[−][src]Module rustc_mir::transform::validate
Validates the MIR to ensure that invariants are upheld.
Structs
| TypeChecker | |
| Validator |
Enums
| EdgeKind |
Functions
| equal_up_to_regions | Returns whether the two types are equal up to lifetimes.
All lifetimes, including higher-ranked ones, get ignored for this comparison.
(This is unlike the |