Compiler weiss nicht welcher Typ?

[Robert Marquardt]

Solche expliziten Typdeklarationen sind immer inkompatibel selbst wenn sie gleich sind.
Das ist auch der Grund warum man sie bei Parametern nicht benutzen kann.
Das ist eine alte Definition, die noch vom originalen Pascal kommt. Sie macht auch Sinn.
Gleich aussehen heist keinesfalls gleich sein. Ist bei Zwillingen ja auch nicht anders.