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<ArgOutlivesPredicate<'tcx>>,
) -> QueryRegionConstraints<'tcx>
Expand description

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