test/files/neg/implicit-ambiguous-invalid.scala


1
2
3
4
5
6

object Test {
  trait =!=[C, D]

  @annotation.implicitAmbiguous("Could not prove ${A} =!= ${B}")
  implicit def neqAmbig1[A] : A =!= A = null
}