Module bound_region_errors

Structs

AscribeUserTypeQuery 🔒

DeeplyNormalizeQuery 🔒

NormalizeQuery 🔒

PredicateQuery 🔒

Enums

UniverseInfo 🔒

What operation a universe was created for.

Traits

ToUniverseInfo 🔒

TypeOpInfo 🔒

Functions

try_extract_error_from_fulfill_cx 🔒

try_extract_error_from_region_constraints 🔒