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
|
type Result<T, E = Error> = ::std::result::Result<T, E>;
struct Error;
trait ForEach {
type Input;
fn for_each<F, U>(self, f: F)
where
F: FnOnce(Self::Input) -> U;
}
impl<T> ForEach for A<T> {
type Input = T;
fn for_each<F, U>(self, f: F)
where
F: FnOnce(Self::Input) -> U,
{
todo!()
}
}
struct A<T>(T);
fn main() {
let a = A(Result::Ok(Result::Ok(()))); //~ ERROR type annotations needed
a.for_each(|a: Result<_>| {
let f = || match a {
Ok(Ok(a)) => {}
Ok(Err(a)) => {}
Err(a) => {}
};
});
}
|
