diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-27 15:27:49 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-02-07 17:31:54 +0100 |
commit | 43ee240c3db3820cecb23ab22c93b1df2412cdc8 (patch) | |
tree | c0715e8726a71c7b62956da171496bd27f0b9322 /tests | |
parent | 1f8b5691dabaae336c3c3f568b303eb24e783494 (diff) | |
download | dotty-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.scala | 7 |
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] + +} |