]> git.proxmox.com Git - rustc.git/blame - src/test/compile-fail/unboxed-closures-unsafe-extern-fn.rs
Imported Upstream version 1.9.0+dfsg1
[rustc.git] / src / test / compile-fail / unboxed-closures-unsafe-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
13#![feature(unboxed_closures)]
14
15use std::ops::{Fn,FnMut,FnOnce};
16
17unsafe fn square(x: &isize) -> isize { (*x) * (*x) }
18
19fn call_it<F:Fn(&isize)->isize>(_: &F, _: isize) -> isize { 0 }
20fn call_it_mut<F:FnMut(&isize)->isize>(_: &mut F, _: isize) -> isize { 0 }
21fn call_it_once<F:FnOnce(&isize)->isize>(_: F, _: isize) -> isize { 0 }
22
23fn a() {
85aaf69f 24 let x = call_it(&square, 22);
54a0048b
SL
25 //~^ ERROR E0277
26 //~| ERROR E0277
1a4d82fc
JJ
27}
28
29fn b() {
c34b1796 30 let y = call_it_mut(&mut square, 22);
54a0048b
SL
31 //~^ ERROR E0277
32 //~| ERROR E0277
1a4d82fc
JJ
33}
34
35fn c() {
c34b1796 36 let z = call_it_once(square, 22);
54a0048b 37 //~^ ERROR E0277
1a4d82fc
JJ
38}
39
40fn main() { }