blob: 91f2529d9bdaee5fab6a2b0a1cb6bc22e6edbdc7 (
plain) (
blame)
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)
}
|