Здравствуйте, samius, Вы писали:


S>> Сейчас ситуация така, что штатный компилятор делает то же само что и MakeGenericType в рантайме.
S>Можно какую-либо демонстрацию вашего тезиса?

Смотри http://infostart.ru/public/448668/

Смысл в том, что класс доступный через рефлексию с MakeGenericType и со статической компиляцией должны быть одинаковыми.
Эти ограничения сведены к минимуму в .Net Native
S>> А вот Roslyn как раз и делает оптимизацию на уровне исходного кода, то же саме, что и в C++.
S>>Там та же самая кодогенерация при специализации шаблона.
S>Кодогенерация при специализации шаблона? Можно подробнее? Или что вы здесь называете кодогенерацией? Подстановку типа что ли?

Я уже устал ссылку давать.
Optimising LINQ
roslyn-linq-rewrite

Там не просто подстановка типа но и оптимизация всех ветвей Linq запроса.