Module rustc_borrowck::type_check::free_region_relations

Structs

• CreateResult 🔒
• UniversalRegionRelations 🔒
• UniversalRegionRelationsBuilder 🔒

Functions

• create 🔒

Type Aliases

• NormalizedInputsAndOutput 🔒
  As part of computing the free region relations, we also have to normalize the input-output types, which we then need later. So we return those. This vector consists of first the input types and then the output type as the last element.