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

// check-pass

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

pub trait Foo {
    type Assoc;
}

impl Foo for () {
    type Assoc = u32;
}

type Bar = impl Foo<Assoc = u32>;

fn assign() -> Bar {}

extern "C" {
    pub fn lint_me() -> <Bar as Foo>::Assoc;
}

fn main() {}
Commit	Line	Data
f035d41b XL	1	// check-pass
f035d41b XL	2
94222f64	3	#![feature(type_alias_impl_trait)]
f035d41b XL	4	#![deny(improper_ctypes)]
	5
	6	pub trait Foo {
	7	type Assoc;
	8	}
	9
	10	impl Foo for () {
	11	type Assoc = u32;
	12	}
	13
	14	type Bar = impl Foo<Assoc = u32>;
	15
	16	fn assign() -> Bar {}
	17
	18	extern "C" {
	19	pub fn lint_me() -> <Bar as Foo>::Assoc;
	20	}
	21
	22	fn main() {}