afsalthaj · October 24, 2019 10:50
diff --git a/notAvalue.scala b/notAvalue.scala
 trait =!=[C, D]

 object NoFeatureS {
  implicit def neq[E, F]: E =!= F = new =!=[E, F] {}

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

 }
	trait =!=[C, D]

	object NoFeatureS {
	implicit def neq[E, F]: E =!= F = new =!=[E, F] {}

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

	}