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                                   // error
  type Y = A & B
  class C extends Y                                   // error
  type Z = A | B
  class D extends Z                                   // error
  abstract class E extends ({ val x: Int })           // error
}