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

source · [−]

fn scrape_region_constraints<'tcx, Op: TypeOp<'tcx, Output = R>, R>(
    infcx: &InferCtxt<'_, 'tcx>, 
    op: impl FnOnce() -> Fallible<InferOk<'tcx, R>>
) -> Fallible<TypeOpOutput<'tcx, Op>>

Expand description

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