pub trait Shoulda { // Provided method fn should(&self) -> Should<'_, Self> where Self: Sized { ... } }