Scala dynamic type

Question

object BugFixProject { 

    def main (args: Array[String]) { 
    val repoWithEntities = Seq(
     (ARepo, Seq(A("", ""), A("", ""))), 
     (BRepo, Seq(B("", ""), B("", ""))) 
    ) 

    printall(repoWithEntities) 
    } 

    def printall[Entity](pairs: Seq[(BaseRepo[Entity], Seq[Entity])]) : Seq[String] = { 
    pairs.map { t => 
     val repo = t._1 
     val entities = t._2 

     entities.map(repo.toString(_)) 
    }.flatten 
    } 

} 

case class A(foo: String, bar: String){} 
case class B(foo: String, bar: String){} 

trait BaseRepo[X] { 
    def toString(x: X) : String = x.toString 
} 

object BRepo extends BaseRepo[B] {} 
object ARepo extends BaseRepo[A] {} 

printall следует использовать как указано в основном методе. Но тогда я получаю следующее сообщение об ошибке во время компиляции:

Error:(12, 9) no type parameters for method printall: (pairs: Seq[(BaseRepo[Entity], Seq[Entity])])Seq[String] exist so that it can be applied to arguments (Seq[(BaseRepo[_ >: B with A <: Product with Serializable], Seq[Product with Serializable])]) 
--- because --- 
argument expression's type is not compatible with formal parameter type; 
found : Seq[(BaseRepo[_ >: B with A <: Product with Serializable], Seq[Product with Serializable])] 
required: Seq[(BaseRepo[?Entity], Seq[?Entity])] 
     printall(repoWithEntities) 
     ^

И

Error:(12, 18) type mismatch; 
found : Seq[(BaseRepo[_ >: B with A <: Product with Serializable], Seq[Product with Serializable])] 
required: Seq[(BaseRepo[Entity], Seq[Entity])] 
     printall(repoWithEntities) 
       ^

Я не понимаю, сообщения об ошибках. Возможно ли, что в

def printall[Entity] 

Объект может быть только 1 конкретного типа?

Answer 1

Попробуйте сделать свой вызов функции в очень общем виде, как показано ниже

def printall(pairs: Seq[(BaseRepo[_], Seq[_])]) : Seq[String] = { 

Таким образом, вы сможете вызвать метод printall либо BRepo или ARepo объекта.