Здравствуйте, Evgeny.Panasyuk, Вы писали:
EP>Много где, можем попробовать его призвать сюда. Например в CodeJam сделали компонент Assertions.
EP>В целом не пойму почему ты проводишь разделение managed/не managed относительно assert'ов.
Ну призвать-то призвал, дальше чего?

Я не сильно слежу за веткой, так что пока не понимаю чего обсуждаем.
И тем более не соображу, при чём здесь ассерты

bounds checking и прочая мелочёвка — эт всё-таки ответственность компилятора / рантайма / библиотеки типов, но никак не разработчика. Иначе получается вообще замечательное комбо: ручного труда куча, эффект нулевой.
P.S. По хорошему ещё бы и проверки на null на рантайм / компилятор спихнуть, но это года через два будет.