Trait rustc_borrowck::diagnostics::bound_region_errors::ToUniverseInfo

pub(crate) trait ToUniverseInfo<'tcx> {
    fn to_universe_info(self, base_universe: UniverseIndex) -> UniverseInfo<'tcx>;
}

Required Methods

fn to_universe_info(self, base_universe: UniverseIndex) -> UniverseInfo<'tcx>

Implementations on Foreign Types

impl<'tcx> ToUniverseInfo<'tcx> for Canonical<'tcx, ParamEnvAnd<'tcx, ProvePredicate<'tcx>>>

fn to_universe_info(self, base_universe: UniverseIndex) -> UniverseInfo<'tcx>

impl<'tcx, T: Copy + Display + TypeFoldable<'tcx> + 'tcx> ToUniverseInfo<'tcx> for Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<T>>>

fn to_universe_info(self, base_universe: UniverseIndex) -> UniverseInfo<'tcx>

impl<'tcx> ToUniverseInfo<'tcx> for Canonical<'tcx, ParamEnvAnd<'tcx, AscribeUserType<'tcx>>>

fn to_universe_info(self, base_universe: UniverseIndex) -> UniverseInfo<'tcx>

impl<'tcx, F, G> ToUniverseInfo<'tcx> for Canonical<'tcx, CustomTypeOp<F, G>>

fn to_universe_info(self, _base_universe: UniverseIndex) -> UniverseInfo<'tcx>

impl<'tcx> ToUniverseInfo<'tcx> for !

fn to_universe_info(self, _base_universe: UniverseIndex) -> UniverseInfo<'tcx>

Implementors

impl<'tcx> ToUniverseInfo<'tcx> for InstantiateOpaqueType<'tcx>