[rustc.git] / src / test / ui / traits / negative-impls / positive-specializes-negative.rs

#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
#![feature(negative_impls)]

trait MyTrait {}

impl<T> !MyTrait for T {}
impl MyTrait for u32 {} //~ ERROR E0751

fn main() {}
Commit	Line	Data
f035d41b	1	#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
ba9703b0 XL	2	#![feature(negative_impls)]
	3
	4	trait MyTrait {}
	5
	6	impl<T> !MyTrait for T {}
	7	impl MyTrait for u32 {} //~ ERROR E0751
	8
	9	fn main() {}