Привет,

Вот такая программа

    struct A
    {}
    
    Main() : void
    {
        A() == null
    }

Выдает в компайл-тайм ворнинг, а в рантайме — System.InvalidProgramException. Аналогичная программа на C# не компилируется.
Вариант с int() = null компилируется c ворнингом и не падает.

Вывод PEVerify:

[IL]: Ошибка: [I:\Sources\Miniprojects\thebug\thebug\bin\Debug\thebug.exe : Prog
ram::Main][смещение 0x0000000B][найдено Int32] Несовместимые типы в стеке.
1 Error(s) Verifying thebug.exe

Доколе.