Здравствуйте, varenikAA, Вы писали:
AA>Согласен, но в случае если в контексте вызова только int комплятор вполне мог бы сообразить.
Не мог бы. Код Test и код Main могут быть в разных сборках. К моменту вызова в main компилятор уже отработал, и соображать некому. Статический код проходит верификацию при загрузке; рантайму запрещено поднимать в память код, который может вызвать ошибку типизации.