tests/pos/i2201b.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14

trait X
trait Y

object Test {
  type One[A <: X, B <: Y]

  type Two[TA <: Y, TB <: X] = One[TB, TA]

  def foo[M[_ <: Y, _ <: X]](x: M[_ <: Y, _ <: X]) = x

  val a: Two[Y, X] = ???

  foo(a)
}