[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
	1	// Test that we check associated type default values for WFedness.
	2
	3	#![feature(associated_type_defaults)]
	4
	5	#![allow(dead_code)]
	6
	7	struct IsCopy<T:Copy> { x: T }
	8
	9	trait SomeTrait {
	10	type Type1;
	11	type Type2 = (IsCopy<Self::Type1>, bool);
	12	//~^ ERROR E0277
	13	}
	14
	15
	16	fn main() { }