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§

Object Safety§

This trait is not object safe.

Implementors§