Module rustc_const_eval::transform::validate

source ·
Expand description

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