Trait rustc_borrowck::universal_regions::InferCtxtExt

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

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>>,

Object Safety

This trait is not object safe.

Implementors

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