diff options
Diffstat (limited to 'tests/ui/coherence/coherence-tuple-conflict.rs')
-rw-r--r-- | tests/ui/coherence/coherence-tuple-conflict.rs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/ui/coherence/coherence-tuple-conflict.rs b/tests/ui/coherence/coherence-tuple-conflict.rs new file mode 100644 index 000000000..8cc829726 --- /dev/null +++ b/tests/ui/coherence/coherence-tuple-conflict.rs @@ -0,0 +1,20 @@ +use std::fmt::Debug; +use std::default::Default; + +// Test that a blank impl for all T conflicts with an impl for some +// specific T. + +trait MyTrait { + fn get(&self) -> usize; +} + +impl<T> MyTrait for (T,T) { + fn get(&self) -> usize { 0 } +} + +impl<A,B> MyTrait for (A,B) { +//~^ ERROR E0119 + fn get(&self) -> usize { self.dummy } +} + +fn main() { } |