Scala ковариантен типа T происходит в инвариантной позиции

Question

У меня есть эта черта:

trait Delivery[T] { 
    def form(): Form[T] 
} 

где Form находится в рамках PLAY2.

Тогда у меня есть объект, который реализует признак доставки:

case class NewPostValidator(town: String, number: Int) 

object NewPost extends Delivery[NewPostValidator]{ 
    def form(): Form[NewPostValidator] = Form(mapping(
    "town" -> nonEmptyText, 
    "number" -> number)(NewPostValidator.apply)(NewPostValidator.unapply)) 
} 

Теперь я хочу, чтобы написать функцию, которая принимает список объектов, которые реализуют черт доставку. И я не могу написать тип для параметра этого. Если я пытаюсь писать это как

list: List[Delivery[AnyRef]] 

У меня ошибка несоответствия типов и если я изменю черт доставки в:

trait Delivery[+T] { 
    def form(): Form[T] 
} 

Я получил Scala типа ковариантен T происходит в инвариантной погрешности положения. Как описать тип этого параметра?

Answer 1

Я не уверен, хотите ли вы, чтобы все формы внутри метода имели один и тот же базовый тип, или если вам нужен тип возврата внутри Form. Было бы хорошо понять, что здесь происходит.

trait Delivery[T] { 
    def form(): Form[T] 
} 

case class NewPostValidator(town: String, number: Int) 

object NewPost extends Delivery[NewPostValidator]{ 
    def form(): Form[NewPostValidator] = Form(mapping(
    "town" -> nonEmptyText, 
    "number" -> number)(NewPostValidator.apply)(NewPostValidator.unapply)) 

    def accept[T <: Delivery[_]](list: List[T]): List[Form[_]] = { 
    list.map(_.form()) 
    } 

}