匿名函数的参数类型必须是完全已知的。8.5(SLS)

I have a function literal

我有一个函数文字。

{case QualifiedType(preds, ty) =>
               t.ty = ty ;
               Some((emptyEqualityConstraintSet,preds)) }
{case Q