Module rustc_borrowck::type_check::free_region_relations
source · Structs
Statics
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
META 🔒
Functions
create 🔒
Type Definitions
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.