31 lines
786 B
Rust
31 lines
786 B
Rust
|
//@ 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);
|
||
|
|
}
|