Type Definition VarInfos
Other items inrustc_infer::infer::region_constraints
type VarInfos = IndexVec<RegionVid, RegionVariableInfo>;