Function rustc_trait_selection::traits::query::type_op::custom::scrape_region_constraints

pub(in traits::query::type_op::custom) fn scrape_region_constraints<'tcx, R>(
    infcx: &InferCtxt<'_, 'tcx>, 
    op: impl FnOnce() -> Fallible<InferOk<'tcx, R>>
) -> Fallible<(R, Option<Rc<QueryRegionConstraints<'tcx>>>)>

Executes op and then scrapes out all the "old style" region constraints that result, creating query-region-constraints.