我有一个看起来像这样的特征(一些进一步的信息可以在thisrelatedquestionbymyself找到，虽然我不认为，这个问题需要它)traitExtractor[-A,+B]{defextract(d:A):B//lotsofotherthings}要在现有的java框架中使用它，我希望这个Extractor有一个返回Comparator[B]的函数(即java.util.Comparator)，甚至更好地扩展Comparator[A]。现在这带来了一个问题，因为Comparator的类型参数应该是不变的，而A是逆变的而B是协变的。所以我得到这样的错误:scala>import