tipo de inferencia basada en el tipo de argumento genérico (Delphi)

Question

Estoy tratando de escribir una función genérica que acepte tipos de parámetros coincidentes.
Delphi sí infiere el parámetro de tipo correctamente en el caso simple de argumentos simples.

por ejemplo:

type 
    TFoo = class 
    function Pair<T>(e1, e2: T): TList<T>; 
    end; 

llamar a esto con aFoo.Pair(1, 2); funciona perfectamente bien, pero cuando cambio la firma parámetro a un tipo genérico

type 
    TFoo = class 
    function InsertInto<T>(aList: TList<T>; aVal: T): TList<T>; 
    end; 

y trato de llamarlo
aFoo.InsertInto(TList<String>.Create, 'bar');

, entonces el compilador se queja al respecto:
E2010 Incompatible types: 'Generics.Collections.TList<uTest.TFoo.InsertInto.T>' and 'Generics.Collections.TList<System.String>'

¿Hay alguna manera de que pueda escribir este método (o uno similar), de modo que el cliente no tenga que especificar el parámetro de tipo?
aFoo.InsertInto<String>(TList<String>.Create, 'bar');

Answer 1

Supongo que viene de la naturaleza fuertemente tipada de Delphi.
uTest.TFoo.InsertInto.T es equivalente a System.String pero es realmente un tipo diferente.

Al igual que en este ejemplo donde Int1 y Int2 no son del mismo tipo:

var 
    Int1: array[1..10] of Integer; 
    Int2: array[1..10] of Integer; 
     ... 
    Int1 := Int2; // <== BOOM! E2008 Incompatible types (in XE2) 

El problema real no es la inferencia de tipos, pero con los tipos no es compatible por las estrictas reglas de Pascal/Delphi .