# Trait rustc_infer::infer::relate::generalize::GeneralizerDelegate

source ·

    pub trait GeneralizerDelegate<'tcx> {
        // Required methods
        fn forbid_inference_vars() -> bool;
        fn span(&self) -> Span;
        fn generalize_region(&mut self, universe: UniverseIndex) -> Region<'tcx>;
    }

Expand description

Abstracts the handling of region vars between HIR and MIR/NLL typechecking in the generalizer code.

## Required Methods§

source

#### fn forbid_inference_vars() -> bool

source

#### fn span(&self) -> Span

source

#### fn generalize_region(&mut self, universe: UniverseIndex) -> Region<'tcx>

## Object Safety§

This trait is not object safe.

## Implementors§

source§

### impl<'tcx> GeneralizerDelegate<'tcx> for CombineDelegate<'_, 'tcx>

source§

### impl<'tcx, T> GeneralizerDelegate<'tcx> for T
where T: TypeRelatingDelegate<'tcx>,