]>
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). | |
7 | ||
8 | trait MyTrait { | |
9 | fn get(&self) -> usize; | |
10 | } | |
11 | ||
9346a6ac | 12 | trait Even { } |
1a4d82fc | 13 | |
9346a6ac | 14 | trait Odd { } |
1a4d82fc JJ |
15 | |
16 | impl Even for isize { } | |
17 | ||
18 | impl Odd for usize { } | |
19 | ||
54a0048b | 20 | impl<T:Even> MyTrait for T { |
1a4d82fc JJ |
21 | fn get(&self) -> usize { 0 } |
22 | } | |
23 | ||
0731742a | 24 | impl<T:Odd> MyTrait for T { |
60c5eb7d | 25 | //~^ ERROR E0119 |
0731742a | 26 | |
1a4d82fc JJ |
27 | fn get(&self) -> usize { 0 } |
28 | } | |
29 | ||
30 | fn main() { } |