pub trait Write { // Required method fn write(&mut self, buf: &[u8]) -> Written; // Provided method fn write_fmt(&mut self, args: Arguments<'_>) -> Written where Self: Sized { ... } }