1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19

use core::borrow::Borrow;

use super::{InsertImmut, Map, RemoveImmut};

pub trait MapImmut<'a, K, Q, V>: Map<'a, K, Q, V> + InsertImmut<K, V> + RemoveImmut<K>
where
    K: 'a + ?Sized + Borrow<Q>,
    Q: 'a + ?Sized,
    V: 'a + Sized,
{
}

impl<'a, K, Q, V, T> MapImmut<'a, K, Q, V> for T
where
    T: 'a + Map<'a, K, Q, V> + InsertImmut<K, V> + RemoveImmut<K>,
    K: 'a + ?Sized + Borrow<Q>,
    Q: 'a + ?Sized,
    V: 'a + Sized,
{}