1
Differenza tra inferenza di tipo del metodo e parametri del tipo di classe nella corrispondenza del modello
Perché la corrispondenza dei modelli funziona in modo diverso quando il parametro type proviene da un metodo che racchiude in contrapposizione a una classe che lo racchiude? Per esempio, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match { case Derived(_) …