blob: a2d55b1e4a73d316e42a23daa5dfa8b65c608591 (
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
}
|