pub trait Clause<I>: Copy + Debug + Hash + Eq + UpcastFrom<I, Binder<I, TraitRef<I>>> + UpcastFrom<I, Binder<I, ProjectionPredicate<I>>>where
I: Interner<Clause = Self>,{ }Object Safety§
This trait is not object safe.
pub trait Clause<I>: Copy + Debug + Hash + Eq + UpcastFrom<I, Binder<I, TraitRef<I>>> + UpcastFrom<I, Binder<I, ProjectionPredicate<I>>>where
I: Interner<Clause = Self>,{ }