type TRec = record<T>
a : TRec<T>;
end;

begin
end.