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 }