Module rustc_const_eval::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 erasing_regions methods, which keep higher-ranked lifetimes for soundness reasons.)