blob: 123f8b4e048e0d1a55ea5bf3a29642236190127a (
plain) (
blame)
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
}
|