Module bound_region_errors

Structs

• AscribeUserTypeQuery 🔒
• 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 🔒