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/neg/overrides.scala | |
| 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/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 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 +} |