Check kind bounds when calling methods

Closes #1915

1 files changed, 11 insertions, 0 deletions

diff --git a/src/test/compile-fail/bad-method-typaram-kind.rs b/src/test/compile-fail/bad-method-typaram-kind.rs
new file mode 100644
index 00000000000..a5070ac5698
--- /dev/null
+++ b/src/test/compile-fail/bad-method-typaram-kind.rs
@@ -0,0 +1,11 @@
+// error-pattern:instantiating a copyable type parameter with a noncopyable
+fn foo<T>() {
+    1u.bar::<T>();
+}
+
+impl methods for uint {
+    fn bar<T:copy>() {
+    }
+}
+
+fn main() {}