Merge pull request #3871 from pcwalton/master

 	rustc: Translate monomorphic intra-crate automatically-derived method… 

1 files changed, 32 insertions, 0 deletions

diff --git a/src/test/run-pass/deriving-simple.rs b/src/test/run-pass/deriving-simple.rs
new file mode 100644
index 00000000000..04167893507
--- /dev/null
+++ b/src/test/run-pass/deriving-simple.rs
@@ -0,0 +1,32 @@
+trait MyEq {
+    pure fn eq(other: &self) -> bool;
+}
+
+struct A {
+    x: int
+}
+
+struct B {
+    x: A,
+    y: A,
+    z: A
+}
+
+impl A : MyEq {
+    pure fn eq(other: &A) -> bool {
+        unsafe { io::println(fmt!("eq %d %d", self.x, other.x)); }
+        self.x == other.x
+    }
+}
+
+impl B : MyEq;
+
+fn main() {
+    let b = B { x: A { x: 1 }, y: A { x: 2 }, z: A { x: 3 } };
+    let c = B { x: A { x: 1 }, y: A { x: 3 }, z: A { x: 4 } };
+    assert b.eq(&b);
+    assert c.eq(&c);
+    assert !b.eq(&c);
+    assert !c.eq(&b);
+}
+