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

// check-pass

// 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 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
6a06907d XL	3	// revisions: min_tait full_tait
	4	#![feature(min_type_alias_impl_trait)]
	5	#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
	6	//[full_tait]~^ WARN incomplete
f035d41b XL	7	#![deny(improper_ctypes)]
	8
	9	pub trait Foo {
	10	type Assoc;
	11	}
	12
	13	impl Foo for () {
	14	type Assoc = u32;
	15	}
	16
	17	type Bar = impl Foo<Assoc = u32>;
	18
	19	fn assign() -> Bar {}
	20
	21	extern "C" {
	22	pub fn lint_me() -> <Bar as Foo>::Assoc;
	23	}
	24
	25	fn main() {}