blob: 7b4f4e2cd3b4026dfde396813c214b04b0035d16 (
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
use std::marker::PhantomData;
trait DistributedIterator {
fn reduce(self)
where
Self: Sized,
{
unreachable!()
}
}
trait DistributedIteratorMulti<Source> {
type Item;
}
struct Connect<I>(PhantomData<fn(I)>);
impl<I: for<'a> DistributedIteratorMulti<&'a ()>> DistributedIterator for Connect<I> where {}
struct Cloned<Source>(PhantomData<fn(Source)>);
impl<'a, Source> DistributedIteratorMulti<&'a Source> for Cloned<&'a Source> {
type Item = ();
}
struct Map<I, F> {
i: I,
f: F,
}
impl<I: DistributedIteratorMulti<Source>, F, Source> DistributedIteratorMulti<Source> for Map<I, F>
where
F: A<<I as DistributedIteratorMulti<Source>>::Item>,
{
type Item = ();
}
trait A<B> {}
struct X;
impl A<()> for X {}
fn multi<I>(_reducer: I)
where
I: for<'a> DistributedIteratorMulti<&'a ()>,
{
DistributedIterator::reduce(Connect::<I>(PhantomData))
}
fn main() {
multi(Map { //~ ERROR implementation of `DistributedIteratorMulti` is not general enough
i: Cloned(PhantomData),
f: X,
});
}
|
