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 CanonicalTypeOpAscribeUserTypeGoal<'tcx>

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

impl<'tcx> ToUniverseInfo<'tcx> for CanonicalTypeOpProvePredicateGoal<'tcx>

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

impl<'tcx, F> ToUniverseInfo<'tcx> for CanonicalQueryInput<'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 CanonicalTypeOpNormalizeGoal<'tcx, T>

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

Implementors

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