Function rustc_trait_selection::traits::query::type_op::custom::scrape_region_constraints
source · pub fn scrape_region_constraints<'tcx, Op: TypeOp<'tcx, Output = R>, R>(
infcx: &InferCtxt<'tcx>,
op: impl FnOnce(&ObligationCtxt<'_, 'tcx>) -> Result<R, NoSolution>,
name: &'static str,
span: Span
) -> Result<(TypeOpOutput<'tcx, Op>, RegionConstraintData<'tcx>), ErrorGuaranteed>
Expand description
Executes op
and then scrapes out all the “old style” region
constraints that result, creating query-region-constraints.