没有证据的证据

Question

是否可以通过以下方式使用Not[Ev]类型或实现它的方法

def someMethod[X,Y](implicit ev:Not[X <:< Option[Y])= ???

意味着类型X不是Option [_]类型？ （还有更多可以做的事情）

Answer 1

implicitAmbiguous的文档建议以下类型不平等的实现

implicitAmbiguous

其中

trait =!=[C, D]

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

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