1
Unterschied zwischen Typinferenz von Methoden- und Klassentypparametern beim Mustervergleich
Warum funktioniert der Mustervergleich anders, wenn der Typparameter von einer umschließenden Methode stammt und nicht von einer umschließenden Klasse? Zum Beispiel, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match { case Derived(_) => 42 } } } gibt Fehler constructor …