tests/neg/i0248-inherit-refined.scala


1
2
3
4
5
6
7
8
9
10

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
  abstract class A extends ({ val x: Int })
}