[rustc.git] / src / test / ui / lint / opaque-ty-ffi-unsafe.rs

#![feature(type_alias_impl_trait)]
#![deny(improper_ctypes)]

type A = impl Fn();

pub fn ret_closure() -> A {
    || {}
}

extern "C" {
    pub fn a(_: A);
    //~^ ERROR `extern` block uses type `A`, which is not FFI-safe [improper_ctypes]
}

fn main() {}
Commit	Line	Data
94222f64	1	#![feature(type_alias_impl_trait)]
e1599b0c XL	2	#![deny(improper_ctypes)]
	3
	4	type A = impl Fn();
	5
	6	pub fn ret_closure() -> A {
	7	\|\| {}
	8	}
	9
	10	extern "C" {
	11	pub fn a(_: A);
ee023bcb	12	//~^ ERROR `extern` block uses type `A`, which is not FFI-safe [improper_ctypes]
e1599b0c XL	13	}
	14
	15	fn main() {}