1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

use core::borrow::Borrow;

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


pub trait MapImmut<'a, K, Q, V>:
    Map<'a, K, Q, V> +
    InsertImmut<K, V> +
    RemoveImmut<K> +

    where &'a Self: 'a + IntoIterator<Item = (&'a K, &'a V)>,
          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>,
          &'a T: 'a + IntoIterator<Item = (&'a K, &'a V)>,
          K: 'a + ?Sized + Borrow<Q>,
          Q: 'a + ?Sized,
          V: 'a + Sized,
{}