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,
{}