Zitat von
Panthrax:
TClassA ist schließlich kein Vorfahr von TClassB.
Doch, du legst schließlich nur Type Synonyms an. Da passiert in etwas soviel wie bei
type TFoo = TObject
nämlich überhaupt nichts. Bei
TClassB is TClassA
sieht der Compiler also nur
TGenericClassB<TObject> is TGenericClassA<TObject>
Im Kompilat sind TClassA und TClassB völlig verschwunden.