summaryrefslogtreecommitdiff
path: root/test/files/neg/implicit-ambiguous-2.scala
blob: 563c8c583f76e3d19d18adae9a3c208c38454f50 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
object Test {
  trait =!=[C, D]

  implicit def neq[E, F] : E =!= F = null

  implicit def neqAmbig1[G, H, J] : J =!= J = null
  @annotation.implicitAmbiguous("Could not prove ${I} =!= ${I}")
  implicit def neqAmbig2[I] : I =!= I = null

  implicitly[Int =!= Int]
}