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

V>Это ошибка типизации, произошедшая из-за отсутствия полноценной метаинформации в рантайме VM, где такой рантайм следит за тем, чтобы информация о типах была синглтоном.

Нет, это ошибка, которая произошла из-за отсутствия проверки типов.

V>А кто перед кем тут оправдывается?

Ну вот ты зачем-то пытаешься придумывать оправдания говнокоду.

V>Запретить unsafe в проекте можно, и когда-то возможность такого запрета подавалась "железобетонным аргументом", почему я и привёл примеры для safe-кода.

Интероп — никак не safe.

V>Это просто делёжка информацией, а не "мамой клянусь", бо слишком тривиальные вещи.

Это не информация, а голословное утверждение.