path: root/tests/neg/i0248-inherit-refined.scala

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
}