i15177.hk.scala

// like tests/pos/i15177.scala
// but with B being higher kinded
class X[T[_]] { type Id }
object A extends X[B]
class B[C](id: A.Id)