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
|
//@ check-pass
#![allow(improper_ctypes_definitions)]
#![feature(unsized_tuple_coercion)]
#![feature(unsized_fn_params)]
#![crate_type = "lib"]
// Check that computing the fn abi for `bad`, with a external ABI fn ptr that is not FFI-safe, does
// not ICE.
pub fn bad(f: extern "C" fn([u8])) {}
// While these get accepted, they should also not ICE.
// (If we ever reject them, remove them from this test to ensure the `bad` above
// is still tested. Do *not* make this a check/build-fail test.)
pub extern "C" fn declare_bad(_x: str) {}
#[no_mangle]
pub extern "system" fn declare_more_bad(f: dyn FnOnce()) {
}
fn make_bad() -> extern "C" fn(([u8],)) {
todo!()
}
pub fn call_bad() {
let f = make_bad();
let slice: Box<([u8],)> = Box::new(([1; 8],));
f(*slice);
}
|
