numeric widen on the implicit system

TestNumericWidenImplicits.scala

trait T[A]

object Main {
  implicit val doubleInst: T[Double] = new T[Double] {}

  def f[A](a: A)(implicit ev: T[A]): T[A] = ev

  f(1: Int)
  f(1: Float)
  f(1: Double)
}

Numeric Widen does not extend to the implicit system (it seems). Good :D