[rustc.git] / src / test / ui / lint / lint-ctypes-73249-5.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)]

pub trait Baz { }

impl Baz for u32 { }

type Qux = impl Baz;

fn assign() -> Qux { 3 }

#[repr(transparent)]
pub struct A {
    x: Qux,
}

extern "C" {
    pub fn lint_me() -> A; //~ ERROR: uses type `impl Baz`
}

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
f035d41b XL	5	#![deny(improper_ctypes)]
	6
	7	pub trait Baz { }
	8
	9	impl Baz for u32 { }
	10
	11	type Qux = impl Baz;
	12
	13	fn assign() -> Qux { 3 }
	14
	15	#[repr(transparent)]
	16	pub struct A {
	17	x: Qux,
	18	}
	19
	20	extern "C" {
	21	pub fn lint_me() -> A; //~ ERROR: uses type `impl Baz`
	22	}
	23
	24	fn main() {}