"val a:A = new B ", was soll das bringen?

Question

Diese Redewendung(?) kommt im Treppenbuch mehrmals vor:

val b:A = new B

ou

val b = new B
val b2:A = b

abgesehen von dem Versuch, einige Punkte in einem Lehrbuch zu machen, warum sollten Sie einen anderen Typ als den abgeleiteten Typ von etwas deklarieren wollen?

Übrigens, gibt es dafür Namen?