=:!=

@implicitNotFound(msg = "Cannot prove that ${A} =:!= ${B}.") sealed trait =:!=[A, B]
Companion
object
class Object
trait Matchable
class Any