Diverging implicit expansion for type for the first implicit parameter search

[scabug]

For the first sight this code looks ok:

class RJF[T] extends JF[T]
class JF[T]
case class G(i: Int)
object JFs {
  implicit val g: RJF[G] = new RJF
}
class M[-T]

implicit def seqRJF[T](implicit jf: JF[T]): RJF[scala.collection.Seq[T]] = new RJF
implicit def iterableRJF[T](implicit jf: JF[T]): RJF[scala.collection.Iterable[T]] = new RJF

implicit def m[T](implicit t: RJF[T]): M[T] = new M

def foo[T](s: T)(implicit m: M[T]) = "text"

import JFs._

foo(Seq(G(1)))(m(seqRJF))

Here compiler will say weird compiler error:
Error:(60, 18) diverging implicit expansion for type HttpApiService.this.JF[T]
starting with method iterableRJF in class HttpApiService
foo(Seq(G(1)))(m(seqRJF))
^

However you can remove explicitly passed seqRJF and everything will be ok. I don't see any reasons of such behaviour.

Another similar example can be found here: http://youtrack.jetbrains.com/issue/SCL-7335#comment=27-772977
That's about original question and why Scala compiler is able to find implicit parameter in that case.

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-8773?orig=1
Reporter: @Alefas
Affected Versions: 2.11.1

[antonioortizpola]

No news in this front yet? it has been 4 years and the bug still exists

[joroKr21]

This looks related to #10753 - the expected type did not propagate through the implicit search.