这个问题来自之前这篇scala类型系统：15) 协变与逆变的评论里的问题 遇见一个这样的问题 class In[+A]{ def fun(x:A){} } 会提示 error: covariant type A occurs in contravariant position in type A of value xclass In[+A]{def fun(x:A){}}^