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/pos/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/pos/overrides.scala')
| -rw-r--r-- | tests/pos/overrides.scala | 9 |
1 files changed, 9 insertions, 0 deletions
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 +} |