In C# ist dieses "Mitdenken" des Compilers ja fast schon normal

, bei Delphi weiß man nie so genau, wie weit Emba da Intelligenz eingebaut hat

So kann man es auch ausdrücken. Aber die Sache ist gerade bei Generics eher die, dass C#
Type Variance kann und Delphi nicht. Und dass man dort eher Lambdas benutzt, die sowieso Type Inference können.