pub trait Publisher: Observer + SubscriptionLike { // Provided method fn is_finished(&self) -> bool { ... } }