blob: f28ee8ba340ab5b950eef7540a7cd212fa009bd3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
import scala.language.implicitConversions
trait T[X]
trait U[X]
trait TC[M[_]]
object Test extends App {
def foo[M[_]: TC, A](ma: M[A]) = ()
implicit val TCofT: TC[T] = new TC[T] {}
implicit def any2T[A](a: A): T[A] = new T[A] {}
implicit def any2U[A](a: A): U[A] = new U[A] {}
val x = foo[T, Int](1)
val y = foo(1)
}
|