File: t2994b.scala

package info (click to toggle)

scala 2.9.2%2Bdfsg-1

file content (7 lines) | stat: -rw-r--r-- 139 bytes

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