blob: 6a4434a9d9e21566da0eef8caeeba13fe05fa486 (
plain) (
tree)
|
|
import scala.language.implicitConversions
object Test extends dotty.runtime.LegacyApp {
trait TARInt
trait Basket[A,B] {
def iAmABasket = {}
}
trait BasketFactory[A,B] {
def create(v: A): Basket[A,B]
}
implicit val bf: Test.BasketFactory[Int,Test.TARInt] = new BasketFactory[Int,TARInt] {
def create(v: Int): Basket[Int,TARInt] = new Basket[Int, TARInt]{}
}
implicit def i2[A,B](a: A)(implicit bf: BasketFactory[A,B]): Basket[A,B] = bf.create(a)
1.iAmABasket // <-- i2 conversion not applicable
}
|