Здравствуйте, Пельмешко, Вы писали:

П>Тут Contract.Requires() — всего лишь вызов статического метода, какая разница что туда передалось: true или false, разве это позволяет судить далее по коду о значении ссылки text? (на самом деле позволяет, но совершенно в иную сторону) В уйме мест теперь подчёркивание по этому поводу А на Debug.Assert() такой реакции нет, всё верно, хотя устроено внутри так же — просто вызов статического метода

Ну так 4-тый решарпер ничего про CodeContracts не знает.