---

yaml
---
r: 13681
b: refs/heads/master
c: 6517fc5
h: refs/heads/master
i:
  13679: 347d1ec
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: da470ff5b8b970c90b4dce3885a2908d477c1021
+refs/heads/master: 6517fc5ab6785d0bd3340c73d8ec364c18d5a2df
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/test/run-pass/issue-2445-b.rs

@@ -0,0 +1,18 @@
+class c1<T: copy> {
+  let x: T;
+  new(x: T) {self.x = x;}
+
+    fn f1(x: int) {
+    }
+}
+
+impl i1<T: copy> for c1<T> {
+    fn f2(x: int) {
+    }
+}
+
+
+fn main() {
+    c1::<int>(3).f1(4);
+    c1::<int>(3).f2(4);
+}

trunk/src/test/run-pass/issue-2445.rs

@@ -0,0 +1,18 @@
+import dvec::dvec;
+
+class c1<T: copy> {
+  let x: T;
+  new(x: T) {self.x = x;}
+
+    fn f1(x: T) {}
+}
+
+impl i1<T: copy> for c1<T> {
+    fn f2(x: T) {}
+}
+
+
+fn main() {
+    c1::<int>(3).f1(4);
+    c1::<int>(3).f2(4);
+}