Type Definition VarInfos
rustc_trait_selection::infer::region_constraints
type VarInfos = IndexVec<RegionVid, RegionVariableInfo>;