pub fn make_query_region_constraints<'tcx>(
outlives_obligations: Vec<TypeOutlivesConstraint<'tcx>>,
region_constraints: &RegionConstraintData<'tcx>,
assumptions: Vec<OutlivesPredicate<TyCtxt<'tcx>, GenericArg<'tcx>>>,
) -> QueryRegionConstraints<'tcx>
Expand description
Given the region obligations and constraints scraped from the infcx, creates query region constraints.