diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2014-11-18 16:03:15 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2014-11-18 16:36:02 +0100 |
commit | c02811a66e962269e0423aa808d1cee82393f830 (patch) | |
tree | 2a61733a9268a29020d4eee96a02c55168c2897b /tests | |
parent | 59c3848c052fdd64e1232f12c5c5b97a0288849c (diff) | |
download | dotty-c02811a66e962269e0423aa808d1cee82393f830.tar.gz dotty-c02811a66e962269e0423aa808d1cee82393f830.tar.bz2 dotty-c02811a66e962269e0423aa808d1cee82393f830.zip |
Add tests for the overriding of types
These tests work correctly since 222e9a478f7b851582550973df6a9d141766e49a
Diffstat (limited to 'tests')
-rw-r--r-- | tests/neg/overrides.scala | 11 | ||||
-rw-r--r-- | tests/pos/overrides.scala | 9 |
2 files changed, 20 insertions, 0 deletions
diff --git a/tests/neg/overrides.scala b/tests/neg/overrides.scala index d502af8dd..943cc8bc4 100644 --- a/tests/neg/overrides.scala +++ b/tests/neg/overrides.scala @@ -68,3 +68,14 @@ class X1 { class Y1 extends X1 { override def f(): B1 = ??? } + +class X2 { + type T = A1 +} +class Y2 extends X2 { + type T = B1 +} + +class X3 { + override type T = A1 +} diff --git a/tests/pos/overrides.scala b/tests/pos/overrides.scala index 97402f773..c8c1f630f 100644 --- a/tests/pos/overrides.scala +++ b/tests/pos/overrides.scala @@ -11,3 +11,12 @@ class B extends A[Int] { f(2)() } + +class A1 +class A2 +class X1 { + type T = A1 +} +class Y1 extends X1 { + override type T = A2 +} |