tests/pos/t7902.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// Invalid because nested hk type parameters are no longer allowed
import scala.language.higherKinds

object Bug {
  class Tag[W[M1[X1]]]

  def ofType[W[M2[X2]]]: Tag[W] = ???
  type InSeq  [M3[X3]] = Some[M3[Any]]

  // fail
  val x = ofType[InSeq]

  // okay
  val y: Any = ofType[InSeq]
  object T {
    val z = ofType[InSeq]
  }
}