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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

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