Как работают обобщения (дженерики) в C# на низком уровне?

На уровне CLR (Common Language Runtime) обобщения обрабатываются следующим образом:

1. JIT-компиляция: При первом использовании конкретного типа с обобщенным классом или методом, JIT-компилятор создает специализированную версию этого кода для данного типа. Для ссылочных типов (классов) создается одна общая версия, которая использует тип System.Object для хранения элементов, и при каждом доступе к элементу происходит преобразование (casting). Для значимых типов (структур) для каждого уникального типа создается отдельная, полностью специализированная версия кода.
2. Экономия памяти для ссылочных типов: Поскольку для всех ссылочных типов используется одна и та же JIT-скомпилированная версия кода, это экономит память по сравнению с созданием новой версии для каждого ссылочного типа. Однако, при доступе к элементам возникают накладные расходы на преобразование.
3. Экономия производительности для значимых типов: Для значимых типов JIT-компилятор создает отдельную ве