1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
use std::marker::PhantomData;
pub trait External {}
pub struct M<'a, 'b, 'c, T, U, V> {
a: PhantomData<&'a ()>,
b: PhantomData<&'b ()>,
c: PhantomData<&'c ()>,
d: PhantomData<T>,
e: PhantomData<U>,
f: PhantomData<V>,
}
impl<'a, 'b, 'c, T, U, V, W> External for (T, M<'a, 'b, 'c, Box<U>, V, W>)
where
'b: 'a,
T: 'a,
U: (FnOnce(T) -> V) + 'static,
V: Iterator<Item=T> + Clone,
W: std::ops::Add,
W::Output: Copy,
{}
|