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

// revisions: min_tait full_tait
#![feature(min_type_alias_impl_trait)]
#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
//[full_tait]~^ WARN incomplete
#![deny(improper_ctypes)]

type A = impl Fn();

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

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

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