Почему Список Scala может занять ковариантный тип, как paramenter в методе + =

Question

Список Скала объявлен как

sealed abstract class List[+A] extends AbstractSeq[A] with LinearSeq[A] with  Product with GenericTraversableTemplate[A, List] with LinearSeqOptimized[A, List[A]] with java.io.Serializable 

Способ предварять элемент в список объявлен как

def +:(elem: A): List[A] 

В качестве типа А является ковариантным, почему компилятор не жалуется, так как A появляется в контравариантном положении в + :?

Answer 1

Поскольку его полная подпись:

def +:[B >: A, That](elem: B)(implicit bf: CanBuildFrom[List[A], B, That]): That 

Док, что вы упомянули в вопросе только упрощенный один, вам нужно проверить полную сигнатуру метода.