Trait rustc_trait_selection::infer::canonical::ir::inherent::BoundExistentialPredicates

pub trait BoundExistentialPredicates<I>: Copy + Debug + Hash + Eq + Relate<I> + SliceLike<Item = Binder<I, ExistentialPredicate<I>>>
where
    I: Interner,
{
    // Required methods
    fn principal_def_id(self) -> Option<<I as Interner>::DefId>;
    fn principal(self) -> Option<Binder<I, ExistentialTraitRef<I>>>;
    fn auto_traits(self) -> impl IntoIterator<Item = <I as Interner>::DefId>;
    fn projection_bounds(
        self,
    ) -> impl IntoIterator<Item = Binder<I, ExistentialProjection<I>>>;
}

Required Methods

fn principal_def_id(self) -> Option<<I as Interner>::DefId>

fn principal(self) -> Option<Binder<I, ExistentialTraitRef<I>>>

fn auto_traits(self) -> impl IntoIterator<Item = <I as Interner>::DefId>

fn projection_bounds( self, ) -> impl IntoIterator<Item = Binder<I, ExistentialProjection<I>>>

Object Safety

This trait is not object safe.

Implementors