freepascal.compiler/tests/test/tgeneric22.pp

{$mode objfpc}{$H+}

type
  generic TGListItem<T> = class(TObject)
  public var
    FValue: T;
    FNext: TGListItem;
    procedure SetValue(Value: T);
    function GetValue: T;
    procedure Assign(Source: TGListItem);
    function Merge(Other: TGListItem): TGListItem;
  end;

procedure TGListItem.SetValue(Value: T);
begin
  FValue := Value;
end;

function TGListItem.GetValue: T;
begin
  Result := FValue;
end;

procedure TGListItem.Assign(Source: TGListItem);
begin
  FNext := Source;
end;

function TGListItem.Merge(Other: TGListItem): TGListItem;
var
  Temp: TGListItem;
begin
  Temp := TGListItem.Create;
  Temp.SetValue(FNext.GetValue + Other.FNext.GetValue);
  Result := Temp;
end;

type
  TIntListItem = specialize TGListItem<Integer>;

var
  A, A2, B, B2: TIntListItem;
begin
  A := TIntListItem.Create;
  A2 := TIntListItem.Create;
  A.Assign(A2);
  if A.FNext <> A2 then
    halt(1);

  B := TIntListItem.Create;
  B2 := TIntListItem.Create;
  B.Assign(B2);
  if B.FNext <> B2 then
    halt(1);
  
  A2.SetValue(5);
  if A2.GetValue <> 5 then
    halt(1);
  
  B2.SetValue(7);
  if B2.GetValue <> 7 then
    halt(1);
  
  if A.Merge(B).GetValue <> 12 then
    halt(1);
end.