[rustc.git] / src / test / ui / lint / lint-ctypes-66202.rs

// check-pass

#![deny(improper_ctypes)]

// This test checks that return types are normalized before being checked for FFI-safety, and that
// transparent newtype wrappers are FFI-safe if the type being wrapped is FFI-safe.

#[repr(transparent)]
pub struct W<T>(T);

extern "C" {
    pub fn bare() -> ();
    pub fn normalize() -> <() as ToOwned>::Owned;
    pub fn transparent() -> W<()>;
}

fn main() {}
Commit	Line	Data
f035d41b XL	1	// check-pass
	2
	3	#![deny(improper_ctypes)]
	4
	5	// This test checks that return types are normalized before being checked for FFI-safety, and that
	6	// transparent newtype wrappers are FFI-safe if the type being wrapped is FFI-safe.
	7
	8	#[repr(transparent)]
	9	pub struct W<T>(T);
	10
	11	extern "C" {
	12	pub fn bare() -> ();
	13	pub fn normalize() -> <() as ToOwned>::Owned;
	14	pub fn transparent() -> W<()>;
	15	}
	16
	17	fn main() {}