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

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

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

Required Methods

fn forbid_inference_vars() -> bool

fn span(&self) -> Span

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

Object Safety

This trait is not object safe.

Implementors

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

impl<'tcx, T> GeneralizerDelegate<'tcx> for T

where T: TypeRelatingDelegate<'tcx>,