pub trait Container { // Required methods fn pop(&mut self); fn len(&self) -> usize; // Provided method fn is_empty(&self) -> bool { ... } }