pub trait Collection<A>: Default + Extend<A> { // Provided method fn push(&mut self, item: A) { ... } }