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

EP>>Здесь внутри foo, ещё до всяких оптимизаторов, известен и конкретный тип замыкания F, и его размер, и конкретный вызываемый метод.
EP>>Аналог на C# в студию
S>

S> T foo<T>(Func<T> f)
S>{
S>  return f();
S>}
S>

О чём и речь — у тебя внутри foo один тип для разных замыканий с одинаковой сигнатурой — а значит динамический полиморфизм и прочие индерекции, которые на порядок сложнее оптимизировать