Trait rustc_infer::infer::canonical::ir::inherent::BoundExistentialPredicates
source · 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.