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