]>
Commit | Line | Data |
---|---|---|
3157f602 XL |
1 | #![crate_type = "lib"] |
2 | pub trait Future { | |
3 | type Item; | |
4 | type Error; | |
a7813a04 XL |
5 | } |
6 | ||
3157f602 XL |
7 | impl Future for u32 { |
8 | type Item = (); | |
9 | type Error = Box<()>; | |
10 | } | |
11 | ||
12 | fn foo() -> Box<Future<Item=(), Error=Box<()>>> { | |
13 | Box::new(0u32) | |
14 | } | |
15 | ||
16 | pub fn bar<F, A, B>(_s: F) | |
17 | where F: Fn(A) -> B, | |
18 | { | |
19 | foo(); | |
54a0048b | 20 | } |