diff options
author | Martin Odersky <odersky@gmail.com> | 2014-11-18 15:18:19 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-11-18 15:18:19 +0100 |
commit | ea06d6618f63339fec0af8ca6835a3f34a100d0f (patch) | |
tree | 049d0deba496172146edd358da5aa5c5fa4e2458 /tests/neg/overrides.scala | |
parent | b60f085e543e71577e0132b938facd0b6d544e81 (diff) | |
download | dotty-ea06d6618f63339fec0af8ca6835a3f34a100d0f.tar.gz dotty-ea06d6618f63339fec0af8ca6835a3f34a100d0f.tar.bz2 dotty-ea06d6618f63339fec0af8ca6835a3f34a100d0f.zip |
Check that overriding members refine the types of overridden ones.
Somehow this was lost in porting (or was this done somewhere else
in scalac?).
Diffstat (limited to 'tests/neg/overrides.scala')
-rw-r--r-- | tests/neg/overrides.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/neg/overrides.scala b/tests/neg/overrides.scala index 4befe1623..d502af8dd 100644 --- a/tests/neg/overrides.scala +++ b/tests/neg/overrides.scala @@ -57,3 +57,14 @@ class X { class Y extends X { def f: A[Int] = ??? } + + +class A1 +class B1 + +class X1 { + def f(): A1 = ??? +} +class Y1 extends X1 { + override def f(): B1 = ??? +} |