Trait rustc_infer::infer::generalize::GeneralizerDelegate

pub trait GeneralizerDelegate<'tcx> {
    // Required methods
    fn param_env(&self) -> ParamEnv<'tcx>;
    fn forbid_inference_vars() -> bool;
    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 param_env(&self) -> ParamEnv<'tcx>

fn forbid_inference_vars() -> bool

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

Implementors

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

impl<'tcx, T> GeneralizerDelegate<'tcx> for Twhere T: TypeRelatingDelegate<'tcx>,