1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
use core::borrow::Borrow; use super::{AddImmut, RemoveImmut, Set}; pub trait SetImmut<'a, V, Q>: Set<'a, V, Q> + RemoveImmut<&'a Q> + AddImmut<V> where V: 'a + ?Sized + Borrow<Q>, Q: 'a + ?Sized, { } impl<'a, V, Q, T> SetImmut<'a, V, Q> for T where T: 'a + SetImmut<'a, V, Q> + RemoveImmut<&'a Q> + AddImmut<V>, V: 'a + ?Sized + Borrow<Q>, Q: 'a + ?Sized, {}