После прочтения статического класса System.Diagnostics.Contracts.Contract, на который повлияла удивительность SpeС#, я был взволнован и сразу же начал начинали мой код вызовами Contract.Requires() и Contract.Ensures().
Я предполагаю, что это просто потому, что мой код настолько супер-потрясающий и без ошибок, что проверка того, что эти вызовы действительно делали что-то, просто не появлялось до недавнего времени. Ошибка проскользнула, и я понял, что эти призывы ничего не делают! Я бы подумал, что они, по крайней мере, вызывают исключение, когда условие нарушается, но нет такой удачи.
Я что-то упустил? Кто-нибудь знает, что это за точка?
