B_1.scala « t3419 « pos « untried « tests - dotty - Research platform for new language concepts and compiler technologies for Scala.

about summary refs log blame commit diff

path: root/tests/untried/pos/t3419/B_1.scala

blob: f11701a86ecb50f52ce428d855b3b3b9382430d0 (plain) (tree)

9ef5f6817 ^

1
2
3

trait T[A,B] {
  type X[a <: A, b <: B] <: B
}