scala - Shapeless 的类型不等式有问题吗？

Question

一旦出现类型参数，shapeless 中的类型不等式似乎就不安全了。

例如下面的代码编译

def someMethod[T](in : T) = {

  implicitly[T =:!= String]

  // some operation that requires T not String could be called here
  // even though there is no guarantee that this is safe
}

val a = someMethod("abc") // here we have just proven String != String

我的直觉是正确的行为应该是编译时错误(我们已经生成了一个证明 String =!:= String)

这与 =:!= 运算符无关，但与使用隐式冲突来模拟否定运算符的所有情况有关。

这真的是一个错误还是我遗漏了一个重点？

Answer 1

这是一个错误，或者充其量是一个令人惊讶的错误功能。