[W521] False positive when result is set in a "while true" loop

The real code is a bit more complex. It is a parser which scans and processes tokens using a while true loop. Below is the minimum code needed to produce W521.

function ScanToken: string;
begin
while true do
begin
Result := 'Hallo';
break;
end;
end;