blob: 1ad3655c89723efef96b1296892f39ec52f85d51 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
object Test {
trait Bar[X[_]]
trait Qux[S[_] <: Bar[S], T]
trait Baz[S[_] <: Bar[S]] {
type Apply[T] = Qux[S,T]
}
trait Foo[/**/V[_] <: Bar[V]/**/] extends Bar[Baz[V]#Apply]
}
|