rustc_type_ir::inherent

Trait BoundExistentialPredicates

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

Required Methods§

Object Safety§

This trait is not object safe.

Implementors§