Scala中类型不相等的证据

Scala中类型不相等的证据