Fehlerhafter "never used"-Hinweis für private-Methoden bei Generics

[Bbommel]

Hallo alle,

ich glaube, ich bin tatsächlich über einen Compilerbug gestolpert. Aber da ich zum ersten Mal etwas ausführlicher selbst mit Generics gebastelt (und nicht nur das vorhandene genutzt) habe, bin ich mir nicht sicher, ob es nicht doch ein Denkfehler bei mir ist. Das Problem lässt sich auf folgenden, eigentlich recht überschaubaren Code reduzieren:

Delphi-Quellcode:

program generic_private_symbol;

{$APPTYPE CONSOLE}

{$R *.res}

uses
  System.SysUtils;

type

  TThing<T> = class
  private
    procedure DoSound;
  public
    procedure Sound; virtual;
  end;

  TSpecialThing<T> = class(TThing<T>)
  public
    procedure Sound; override;
  end;


{ TThing<T> }
procedure TThing<T>.DoSound;
begin
  writeln('tuuuuuuuut');
end;

procedure TThing<T>.Sound;
begin
  writeln('Don''t know how to horn');
end;

{ TSpecialThing<T> }

procedure TSpecialThing<T>.Sound;
begin
  writeln('Special thing makes noise!');
  DoSound;
end;

var
  myThing: TSpecialThing<integer>;

begin
  try
    { TODO -oUser -cConsole Main : Code hier einfügen }
    myThing:=TSpecialThing<integer>.Create;
    myThing.sound;
    readln;
    myThing.Free;
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message);
  end;
end.

Startet man das Programm, dann erhält man völlig korrekt folgende Ausgabe:

Code:

Special thing makes noise!
tuuuuuuuut

Leider erhält man aber auch diesen Compilerhinweis:

Code:

[dcc32 Hinweis] generic_private_symbol.dpr(14): H2219 Das private-Symbol 'DoSound' wurde deklariert, aber nie verwendet

Dieser Hinweis ist ja falsch. Das private Symbol wird ja verwendet, nämlich in der abgeleiteten Klasse TSpecialThing, und, wie man in der Ausgabe sieht, ja auch erfolgreich aufgerufen. Macht man exakt das gleiche ohne Generics, dann erscheint keinerlei Hinweis, also so wie es sein soll.

Workaround übrigens, über den mein Kollege gestolpert ist: deklariert man die Methode "DoSound" als "virtual", dann ist der Compiler zufrieden und meckert nicht. Damit kann ich erstmal leben, aber ein Bug ist es doch trotzdem, oder? Oder sitzt das Problem doch vor dem Bildschirm?

(PS: Ja, die Generics machen in diesem reduzierten Beispiel nichts Sinnvolles - es geht nur darum, das Problem zu zeigen)
(PPS: Natürlich reiche ich das im neuen QP ein, wenn es tatsächlich ein Fehler ist)