test/files/pos/t2994b.scala


1
2
3
4
5
6
7

object Test {
  trait Bar[X[_]]
  trait Baz[S[_] <: Bar[S]] {
    type Apply[T]
  }
  trait Foo[V[_] <: Bar[V]] extends Bar[Baz[V]#Apply]
}