aboutsummaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2015-01-27 15:27:49 +0100
committerMartin Odersky <odersky@gmail.com>2015-02-07 17:31:54 +0100
commit43ee240c3db3820cecb23ab22c93b1df2412cdc8 (patch)
treec0715e8726a71c7b62956da171496bd27f0b9322 /tests
parent1f8b5691dabaae336c3c3f568b303eb24e783494 (diff)
downloaddotty-43ee240c3db3820cecb23ab22c93b1df2412cdc8.tar.gz
dotty-43ee240c3db3820cecb23ab22c93b1df2412cdc8.tar.bz2
dotty-43ee240c3db3820cecb23ab22c93b1df2412cdc8.zip
Fix of #329.
Overriding pairs needs to match ExprTypes with field types. Closes #329.
Diffstat (limited to 'tests')
-rw-r--r--tests/neg/overrides.scala7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/neg/overrides.scala b/tests/neg/overrides.scala
index cffb5480a..8eddda68f 100644
--- a/tests/neg/overrides.scala
+++ b/tests/neg/overrides.scala
@@ -100,3 +100,10 @@ trait TOverrider { this: TCommon =>
class C2 extends C1 with TOverrider // ... fails to override, here.
}
+
+package p4 {
+
+ abstract class C[T] { def head: T }
+ case class D[T](head: Int) extends C[T]
+
+}