1 files changed, 17 insertions, 0 deletions
diff --git a/tests/ui/traits/next-solver/dyn-any-dont-prefer-impl.rs b/tests/ui/traits/next-solver/dyn-any-dont-prefer-impl.rs
new file mode 100644
index 000000000..bb1c24a00
--- /dev/null
+++ b/tests/ui/traits/next-solver/dyn-any-dont-prefer-impl.rs
@@ -0,0 +1,17 @@
+// compile-flags: -Znext-solver
+// check-pass
+
+// Test that selection prefers the builtin trait object impl for `Any`
+// instead of the user defined impl. Both impls apply to the trait
+// object.
+
+use std::any::Any;
+
+fn needs_usize(_: &usize) {}
+
+fn main() {
+    let x: &dyn Any = &1usize;
+    if let Some(x) = x.downcast_ref::<usize>() {
+        needs_usize(x);
+    }
+}