Failing scala inference, works in dotty

scala_inference_failure.scala

// works in dotty, not in scala
trait Provider[P] {
  def provide: P
}

implicit object IntProvider extends Provider[Int] {
  override def provide = 1
}

implicit object StringProvider extends Provider[String] {
  override def provide = "s"
}

def make[P: Provider]: P = implicitly[Provider[P]].provide

case class Something(a: Int, b: String)

val v = Something(make[Int], make[String])

// but this works:
def make[P]: P = ???
case class Something(a: Int, b: String)
val v = Something(make, make)