510f637780 ^
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 }