[rustc.git] / src / test / ui / wf / wf-trait-associated-type-trait.rs

// Test that we check associated type default values for WFedness.

#![feature(associated_type_defaults)]

#![allow(dead_code)]

struct IsCopy<T:Copy> { x: T }

trait SomeTrait {
    type Type1;
    type Type2 = (IsCopy<Self::Type1>, bool);
    //~^ ERROR E0277
}


fn main() { }
Commit	Line	Data
e9174d1e	1	// Test that we check associated type default values for WFedness.
223e47cc	2
e9174d1e	3	#![feature(associated_type_defaults)]
a1dfa0c6	4
e9174d1e SL	5	#![allow(dead_code)]
	6
	7	struct IsCopy<T:Copy> { x: T }
223e47cc	8
e9174d1e SL	9	trait SomeTrait {
e9174d1e SL	10	type Type1;
136023e0	11	type Type2 = (IsCopy<Self::Type1>, bool);
9cc50fc6	12	//~^ ERROR E0277
223e47cc	13	}
e9174d1e	14
a1dfa0c6	15
9cc50fc6	16	fn main() { }