diff options
Diffstat (limited to 'tests/neg/i0248-inherit-refined.scala')
-rw-r--r-- | tests/neg/i0248-inherit-refined.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/neg/i0248-inherit-refined.scala b/tests/neg/i0248-inherit-refined.scala new file mode 100644 index 000000000..246d8163e --- /dev/null +++ b/tests/neg/i0248-inherit-refined.scala @@ -0,0 +1,9 @@ +object test { + class A { type T } + type X = A { type T = Int } + class B extends X + type Y = A & B + class C extends Y + type Z = A | B + class D extends Z +} |