path: root/tests/neg/i2151.scala



trait Test {
  type Nil = [K] => K
  type StrangeCons[H, Tail <: [H, A] => H] = Tail[H, H]

  def list: StrangeCons[Int, Nil] // error
}
trait Test {
  type Nil = [K] => K
  type StrangeCons[H, Tail <: [H, A] => H] = Tail[H, H]

  def list: StrangeCons[Int, Nil] // error
}