pub fn make_query_region_constraints<'tcx>(
    tcx: TyCtxt,
    outlives_obligations: impl Iterator<Item = (&TyS, &RegionKind)>,
    region_constraints: &RegionConstraintData
) -> QueryRegionConstraints
Expand description

Given the region obligations and constraints scraped from the infcx, creates query region constraints.