[rustc.git] / src / test / ui / coherence / coherence-blanket-conflicts-with-blanket-unimplemented.rs

use std::fmt::Debug;
use std::default::Default;

// Test that two blanket impls conflict (at least without negative
// bounds).  After all, some other crate could implement Even or Odd
// for the same type (though this crate doesn't implement them at all).

trait MyTrait {
    fn get(&self) -> usize;
}

trait Even {}

trait Odd {}

impl<T:Even> MyTrait for T {
    fn get(&self) -> usize { 0 }
}

impl<T:Odd> MyTrait for T {
//~^ ERROR E0119
    fn get(&self) -> usize { 0 }
}

fn main() { }
Commit	Line	Data
c34b1796	1	use std::fmt::Debug;
1a4d82fc JJ	2	use std::default::Default;
	3
	4	// Test that two blanket impls conflict (at least without negative
	5	// bounds). After all, some other crate could implement Even or Odd
	6	// for the same type (though this crate doesn't implement them at all).
	7
	8	trait MyTrait {
	9	fn get(&self) -> usize;
	10	}
	11
9346a6ac	12	trait Even {}
1a4d82fc	13
9346a6ac	14	trait Odd {}
1a4d82fc	15
54a0048b	16	impl<T:Even> MyTrait for T {
1a4d82fc JJ	17	fn get(&self) -> usize { 0 }
	18	}
	19
0731742a	20	impl<T:Odd> MyTrait for T {
60c5eb7d	21	//~^ ERROR E0119
1a4d82fc JJ	22	fn get(&self) -> usize { 0 }
	23	}
	24
	25	fn main() { }