tests/neg/hklower.scala


1
2
3
4
5
6
7
8
9
10
11

class Test { // error conflicting bounds

  type T[X] // OK
  type U[X] = T[X] // OK

  type V[X] >: T[X] // error
  type W[X] >: T[X] <: T[X] // error

  def f[C[X] >: T[X]]() = ??? // error

}