Module rustc_mir::interpret::validity

Check the validity invariant of a given value, and tell the user where in the value it got violated. In const context, this goes even further and tries to approximate const safety. That’s useful because it means other passes (e.g. promotion) can rely on consts to be const-safe.

Structs

RefTracking

State for tracking recursive validation of references

ValidityVisitor

Enums

CtfeValidationMode

Extra things to check for during validation of CTFE results.

PathElem

We want to show a nice path to the invalid field for diagnostics, but avoid string operations in the happy case where no error happens. So we track a Vec<PathElem> where PathElem contains all the data we need to later print something for the user.

Functions

wrapping_range_contains

wrapping_range_format

write_path

Format a path