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>>;
    fn replace_late_bound_regions_with_nll_infer_vars_in_recursive_scope(
        &self,
        mir_def_id: LocalDefId,
        indices: &mut UniversalRegionIndices<'tcx>
    );
    fn replace_late_bound_regions_with_nll_infer_vars_in_item(
        &self,
        mir_def_id: LocalDefId,
        indices: &mut UniversalRegionIndices<'tcx>
    );
}

Required Methods

fn replace_free_regions_with_nll_infer_vars<T>( &self, origin: NllRegionVariableOrigin, value: T ) -> Twhere 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> ) -> Twhere T: TypeFoldable<TyCtxt<'tcx>>,

fn replace_late_bound_regions_with_nll_infer_vars_in_recursive_scope( &self, mir_def_id: LocalDefId, indices: &mut UniversalRegionIndices<'tcx> )

fn replace_late_bound_regions_with_nll_infer_vars_in_item( &self, mir_def_id: LocalDefId, indices: &mut UniversalRegionIndices<'tcx> )

Implementors

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