typine:键入Scala的不平等见证人

提品 输入Scala的不平等见证人。 见证人A !:= B保证A和B是不同的类型，并考虑到这些类型内部类型参数的可能实例化。 例如， def f [ A ] = summon[ A ! : = Int ] 将无法编译，但两者 def f [ A ] = summon[ Either [ A , String ] ! : = Either [ Int , Char ]] def f [ A , B ]( using A ! : = B ) = summon[ Option [ A ] ! : = Option [ B ]] 将被接受。 在您的项目中使用Typine 将Typine添加到您的依赖项 libraryDependencies + = " com.github.mvv.typine " %% " typine " % " 0.1-SNAPSHOT "