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

V>>Кстате, и тут АОТ может помочь, бо если две структуры имеют одинаковый лейаут и функциональность, то и сгенерённый код под них мог бы бы одинаковый.
S>Так-то и джит мог бы "увидеть", что две структуры имеют одинаковый лэйаут, то можно сравнить MSIL методов и для совпадающих методов генерировать одну копию кода.

Да некогда джиту сравнивать IL всех методов.


V>>Например, как все инстансы Pointer<T>.
S>Речь про велосипед типа https://www.codeproject.com/Articles/1254502/Creating-a-pointer-type-in-Csharp?
S>Или есть какой-то кошерный Pointer<T>, на который можно посмотреть?

Это на что ты отвечаешь в подветке:
http://www.rsdn.org/forum/flame.comp/8086688.1


V>>Именно.
V>>Хотя, при передаче по-значению можно выкрутиться через implicit-оператор приведения типа.
S>Ну, это будет одновременно криво и неэффективно

Потому что нет возможности объявить оператор приведения типа в сигнатуре ref type.