blob: 2564b530004e5f61e3b6b0fad4c5641c2d94e600 (
plain)
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 std::hash::Hash;
use std::marker::PhantomData;
use std::ops::Index;
struct HashMap<K, V>(PhantomData<(K, V)>);
impl<K, V> Index<&K> for HashMap<K, V>
where
K: Hash,
V: Copy,
{
type Output = V;
fn index(&self, k: &K) -> &V {
todo!()
}
}
fn index<'a, K, V>(map: &'a HashMap<K, V>, k: K) -> &'a V {
map[k]
//~^ ERROR the trait bound `K: Hash` is not satisfied
//~| ERROR the trait bound `V: Copy` is not satisfied
//~| ERROR mismatched types
//~| ERROR mismatched types
}
fn main() {}
|