Function rustc_infer::infer::canonical::query_response::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.