Натыкался ли что-нить на похожее?
{$mode objfpc}
{$apptype console}
type
generic T1<A> = class
public
x: A;
end;
generic T2<A, B> = class
type public
T1Alias = specialize T1<A>;
var public
x: T1Alias;
y: B;
end;
type
T3 = specialize T2<integer, integer>;
var
x: T3;
begin
x := T3.Create;
end.
Это чудо выпадает в осадок при компиляции на определении T3. Что 2.2 что 2.4...