2 files changed, 15 insertions, 0 deletions
diff --git a/test/files/neg/bug856.check b/test/files/neg/bug856.check
new file mode 100644
index 0000000000..5f5948c2cf
--- /dev/null
+++ b/test/files/neg/bug856.check
@@ -0,0 +1,4 @@
+bug856.scala:3 error: class ComplexRect needs to be abstract, since method _2 in trait Product2 of type => scala.Double is not defined
+class ComplexRect(val _1:double, _2:double) extends Complex {
+^
+one error found
diff --git a/test/files/neg/bug856.scala b/test/files/neg/bug856.scala
new file mode 100644
index 0000000000..1f69b592bf
--- /dev/null
+++ b/test/files/neg/bug856.scala
@@ -0,0 +1,11 @@
+trait Complex extends Product2[double,double]
+
+class ComplexRect(val _1:double, _2:double) extends Complex {
+  override def toString = "ComplexRect("+_1+","+_2+")"
+}
+
+object Test {
+  def main(args:Array[String]) = {
+    new ComplexRect(1,1)._2
+  }
+}