Overload resolution falls into inference failures if we rely on return type adaptation with a polymorphic view

[scabug]

trait Arr[T]
object Arr {
  def apply[T](xs: T): Arr[T]    = null
  def apply(x: Long) : Arr[Long] = null
}

object I {
  implicit def arrToTrav[T] (a: Arr[T])   : Traversable[T]    = null
  implicit def longArrToTrav(a: Arr[Long]): Traversable[Long] = null
}
  
object Test {
  def foo(t: Traversable[Any]) {}

  object Okay {
    Arr("1")

    import I.{ arrToTrav, longArrToTrav }
    foo(Arr("2"))
  }

  object Fail {
    import I.arrToTrav
    foo(Arr("3")) // found String, expected Long
  }
}

Extracted from a bootstrap failure I encountered when messing with error reporting from isCompatble/ viewExists in #8219