Eine Warnung in solch einem Fall wäre mehr wert als so manche Warnings, die der Compiler ausspuckt
Leider aufgrund der schon erwähnten Architektur nicht möglich ohne bei potenziell korrektem Code Warnings zu produzieren.
Denn das hier kann je nach Aufruf funktionieren (was nicht heißt, dass das guter Code ist):
Delphi-Quellcode:
function Foo: IFoo;
begin
Result.Bar;
end;