//> using options -Xlint:implicit-not-found -Xfatal-warnings
//
object Test {
  trait =!=[C, D]

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