blob: 0dc4b9f2e787a3c9d572301b10cb805c77788238 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
import scala.language.implicitConversions
object Test extends dotty.runtime.LegacyApp {
trait Fundep[T, U] { def u(t: T): U }
class C { def y = "x" }
implicit val FundepStringC: Test.Fundep[String,Test.C] = new Fundep[String, C]{ def u(t: String) = new C }
implicit def foo[T, U](x: T)(implicit y: Fundep[T, U]): U = y.u(x)
println("x".y)
}
|