tests/untried/neg-with-implicits/t5318b.scala


1
2
3
4
5
6
7
8

class DivergingImplicitReported {
  trait TC[M]
  trait S

  implicit def tc[M](implicit M0: TC[M]): TC[S] = null
  def breakage[F: TC] = 0
  breakage // correct: diverging implicit expansion
}