Über den Namen könnte man es so, ohne Probleme auflösen, aber nur, wenn der Typ eindeutig ist.
z.B. selbstdefinierte Typen/Records, welche einen Typenbezeichner haben, den es hunderte Male in der EXE gibt, haben da ein Problemchen.
Nein, weil der vollqualifizierte Name benutzt wird. Das Verfahren funktioniert nur dann nicht, wenn der Typ exklusiv im implementation Teil deklariert wird. Und dann stellt sich das Ausgangsproblem nicht, weil man ja weiß, von welchem Typ T ist.