pub trait Square: Mul + Sized + Clone + Copy { // Provided method fn square(self) -> <Self as Mul>::Output { ... } }