rustc_trait_selection::infer::canonical::query_response

Function make_query_region_constraints

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

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