[rustc.git] / src / test / ui / associated-inherent-types / struct-generics.rs

// check-pass

#![feature(inherent_associated_types)]
#![allow(incomplete_features)]

struct S<T>(T);

impl<T> S<T> {
    type P = T;
}

fn main() {
    type A = S<()>::P;
    let _: A = ();
}
Commit	Line	Data
487cf647 FG	1	// check-pass
	2
	3	#![feature(inherent_associated_types)]
	4	#![allow(incomplete_features)]
	5
	6	struct S<T>(T);
	7
	8	impl<T> S<T> {
	9	type P = T;
	10	}
	11
	12	fn main() {
	13	type A = S<()>::P;
	14	let _: A = ();
	15	}