Trait ToUniverseInfo

pub(crate) trait ToUniverseInfo<'tcx> {
    // Required method
    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 !

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> ToUniverseInfo<'tcx> for Canonical<'tcx, ParamEnvAnd<'tcx, ProvePredicate<'tcx>>>

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

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

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

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

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

Implementors

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