Das zwei Typen zuweisungskompatibel sind, heißt nicht das sie "gleich" sind.
Du hast natürlich Recht. Noch besseres Beispiel: Ich kann einen Integer in einen Double reinstecken (diese Richtung). Aber sonst haben die eigentlich nichts gemeinsam.
Warum ist die Welt nur so schlecht...