解决方法
第一种是存在型,第二种是普通型.第一种语法实际上意味着：
def foo(x:X[t] forSome { type t }){}
这意味着x是X [t]类型,其中t可以是任何未指定类型t.
直观地说,X [_]表示X的类型参数是无关紧要的,而X [Any]表示它必须是Any.
def foo(x:X[t] forSome { type t }){}
这意味着x是X [t]类型,其中t可以是任何未指定类型t.
直观地说,X [_]表示X的类型参数是无关紧要的,而X [Any]表示它必须是Any.
