]> git.proxmox.com Git - rustc.git/blame - src/test/compile-fail/unboxed-closures-wrong-arg-type-extern-fn.rs
New upstream version 1.20.0+dfsg1
[rustc.git] / src / test / compile-fail / unboxed-closures-wrong-arg-type-extern-fn.rs
CommitLineData
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// Tests that unsafe extern fn pointers do not implement any Fn traits.
12
1a4d82fc
JJ
13use std::ops::{Fn,FnMut,FnOnce};
14
15unsafe fn square(x: isize) -> isize { x * x }
16// note: argument type here is `isize`, not `&isize`
17
18fn call_it<F:Fn(&isize)->isize>(_: &F, _: isize) -> isize { 0 }
19fn call_it_mut<F:FnMut(&isize)->isize>(_: &mut F, _: isize) -> isize { 0 }
20fn call_it_once<F:FnOnce(&isize)->isize>(_: F, _: isize) -> isize { 0 }
21
22fn a() {
85aaf69f 23 let x = call_it(&square, 22);
54a0048b 24 //~^ ERROR E0277
1a4d82fc
JJ
25}
26
27fn b() {
c34b1796 28 let y = call_it_mut(&mut square, 22);
54a0048b 29 //~^ ERROR E0277
1a4d82fc
JJ
30}
31
32fn c() {
c34b1796 33 let z = call_it_once(square, 22);
54a0048b 34 //~^ ERROR E0277
1a4d82fc
JJ
35}
36
37fn main() { }