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

Required Methods§

source

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

Implementations on Foreign Types§

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

Implementors§