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