]>
Commit | Line | Data |
---|---|---|
1a4d82fc JJ |
1 | // Copyright 2014 The Rust Project Developers. See the COPYRIGHT |
2 | // file at the top-level directory of this distribution and at | |
3 | // http://rust-lang.org/COPYRIGHT. | |
4 | // | |
5 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or | |
6 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license | |
7 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your | |
8 | // option. This file may not be copied, modified, or distributed | |
9 | // except according to those terms. | |
10 | ||
11 | #![feature(unboxed_closures)] | |
12 | #![feature(box_syntax)] | |
13 | ||
14 | fn needs_fn<F>(x: F) where F: Fn(isize) -> isize {} | |
15 | ||
16 | fn main() { | |
85aaf69f | 17 | let _: () = (box |_: isize| {}) as Box<FnOnce(isize)>; |
c34b1796 | 18 | //~^ ERROR mismatched types |
85aaf69f | 19 | //~| expected `()` |
54a0048b | 20 | //~| found `Box<std::ops::FnOnce(isize)>` |
85aaf69f SL |
21 | //~| expected () |
22 | //~| found box | |
23 | let _: () = (box |_: isize, isize| {}) as Box<Fn(isize, isize)>; | |
24 | //~^ ERROR mismatched types | |
25 | //~| expected `()` | |
54a0048b | 26 | //~| found `Box<std::ops::Fn(isize, isize)>` |
85aaf69f SL |
27 | //~| expected () |
28 | //~| found box | |
c34b1796 | 29 | let _: () = (box || -> isize { unimplemented!() }) as Box<FnMut() -> isize>; |
85aaf69f SL |
30 | //~^ ERROR mismatched types |
31 | //~| expected `()` | |
54a0048b | 32 | //~| found `Box<std::ops::FnMut() -> isize>` |
85aaf69f SL |
33 | //~| expected () |
34 | //~| found box | |
1a4d82fc | 35 | |
85aaf69f | 36 | needs_fn(1); |
54a0048b SL |
37 | //~^ ERROR : std::ops::Fn<(isize,)>` |
38 | //~| ERROR : std::ops::FnOnce<(isize,)>` | |
1a4d82fc | 39 | } |