tests/pos/i2201c.scala


1
2
3
4
5
6
7
8
9
10
11

object Test {
  implicit val theAnswer: Int = 42

  type Swap[A, B] = (B, A)

  def foo[M[_, _], T, S](x: M[T, S])(implicit ev: T) = ev

  val a: Swap[Int, String] = ("hi", 1)

  foo(a)
}