diff options
Diffstat (limited to 'tests/ui/methods/method-two-traits-distinguished-via-where-clause.rs')
-rw-r--r-- | tests/ui/methods/method-two-traits-distinguished-via-where-clause.rs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/methods/method-two-traits-distinguished-via-where-clause.rs b/tests/ui/methods/method-two-traits-distinguished-via-where-clause.rs new file mode 100644 index 000000000..d820d2ad0 --- /dev/null +++ b/tests/ui/methods/method-two-traits-distinguished-via-where-clause.rs @@ -0,0 +1,27 @@ +// run-pass +// Test that we select between traits A and B. To do that, we must +// consider the `Sized` bound. + +// pretty-expanded FIXME #23616 + +trait A { + fn foo(self); +} + +trait B { + fn foo(self); +} + +impl<T: Sized> A for *const T { + fn foo(self) {} +} + +impl<T> B for *const [T] { + fn foo(self) {} +} + +fn main() { + let x: [isize; 4] = [1,2,3,4]; + let xptr = &x[..] as *const [isize]; + xptr.foo(); +} |