trait InferCtxtExt<'tcx> {
    // Required methods
    fn replace_free_regions_with_nll_infer_vars<T>(
        &self,
        origin: NllRegionVariableOrigin,
        value: T
    ) -> T
       where T: TypeFoldable<TyCtxt<'tcx>>;
    fn replace_bound_regions_with_nll_infer_vars<T>(
        &self,
        origin: NllRegionVariableOrigin,
        all_outlive_scope: LocalDefId,
        value: Binder<'tcx, T>,
        indices: &mut UniversalRegionIndices<'tcx>
    ) -> T
       where T: TypeFoldable<TyCtxt<'tcx>>;
}

Required Methods§

source

fn replace_free_regions_with_nll_infer_vars<T>( &self, origin: NllRegionVariableOrigin, value: T ) -> T
where T: TypeFoldable<TyCtxt<'tcx>>,

source

fn replace_bound_regions_with_nll_infer_vars<T>( &self, origin: NllRegionVariableOrigin, all_outlive_scope: LocalDefId, value: Binder<'tcx, T>, indices: &mut UniversalRegionIndices<'tcx> ) -> T
where T: TypeFoldable<TyCtxt<'tcx>>,

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<'cx, 'tcx> InferCtxtExt<'tcx> for BorrowckInferCtxt<'cx, 'tcx>