pub trait Predicate: Clone + Eq { type Attr: Attribute; }
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.