make_query_region_constraints

Function make_query_region_constraints 

Source
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.