pub trait Set<'a, V, Q>: Collection + Get<&'a Q, Output = V>where V: 'a + ?Sized + Borrow<Q>, Q: 'a + ?Sized,{ // Provided method fn contains(&self, q: &'a Q) -> bool { ... } }