1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/traits/test-2.rs b/src/test/ui/traits/test-2.rs
new file mode 100644
index 000000000..342928e88
--- /dev/null
+++ b/src/test/ui/traits/test-2.rs
@@ -0,0 +1,17 @@
+#[allow(non_camel_case_types)]
+
+
+trait bar { fn dup(&self) -> Self; fn blah<X>(&self); }
+impl bar for i32 { fn dup(&self) -> i32 { *self } fn blah<X>(&self) {} }
+impl bar for u32 { fn dup(&self) -> u32 { *self } fn blah<X>(&self) {} }
+
+fn main() {
+    10.dup::<i32>();
+    //~^ ERROR this associated function takes 0 generic arguments but 1
+    10.blah::<i32, i32>();
+    //~^ ERROR this associated function takes 1 generic argument but 2
+    (Box::new(10) as Box<dyn bar>).dup();
+    //~^ ERROR E0038
+    //~| ERROR E0038
+    //~| ERROR E0038
+}