[rustc.git] / src / test / ui / traits / alias / wf.rs

#![feature(trait_alias)]

trait Foo {}
trait A<T: Foo> {}
trait B<T> = A<T>; //~ ERROR `T: Foo` is not satisfied

fn main() {}
Commit	Line	Data
a1dfa0c6	1	#![feature(trait_alias)]
a7813a04	2
a1dfa0c6 XL	3	trait Foo {}
	4	trait A<T: Foo> {}
	5	trait B<T> = A<T>; //~ ERROR `T: Foo` is not satisfied
5bcae85e SL	6
5bcae85e SL	7	fn main() {}