Type Definition rustc_mir::borrow_check::type_check::free_region_relations::NormalizedInputsAndOutput

type NormalizedInputsAndOutput<'tcx> = Vec<Ty<'tcx>>;

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.