genéricos de IL: ¿qué reglas existen para cuándo! T se usa vs! 0?

Question

estoy escribiendo una herramienta de análisis estático IL, y estoy teniendo dificultades para comprender las reglas que gobiernan cómo se hace referencia a los parámetros de tipo genérico:

aprovechar esta IL (del IList<T> interface):

.property instance !T Item(
    int32 index 
) 
{ 
    .get instance !0 System.Collections.Generic.IList`1::get_Item(int32) 
    .set instance void System.Collections.Generic.IList`1::set_Item(int32, !0) 
} 

¿Por qué la !0 allí en vez de !T? Supongo que son equivalentes en lo que respecta a la máquina virtual, parece extraño usar referencias posicionales cuando se tiene la garantía de tener los nombres.

Actualización: un caso adicional, desde KeyedCollection.ctor:

IL_0037: newobj instance void class System.Collections.Generic.Dictionary`2<!TKey,!TItem>::'.ctor'(class System.Collections.Generic.IEqualityComparer`1<!0>) 
IL_003c: stfld class System.Collections.Generic.Dictionary`2<!0,!1> class System.Collections.ObjectModel.KeyedCollection`2<!0,!1>::dictionary 

Answer 1

En los "tipos" Common Language Infrastructure standard, Partition II - Metadata and File Format, la cláusula 7.1 se afirma:

Type ::=  Description 
--------  ----------- 
'!'    Generic parameter in a type definition, accessed by index from 0 

respuesta tan corto: porque está en la especificación.

Respuesta larga: Esta es la especulación de mi parte, pero en el fondo, la mayoría de los comandos de IL-se basa apilar y utilizar referencias posicionales como parámetros todo el tiempo. Dicho esto, tiene sentido que las referencias posicionales se usen para genéricos, a fin de mantener patrones/mecanismos de uso comunes en IL.