Я думаю о начале использованияКодовые контракты в моей кодовой базе.

Я уже использую Анализ кода со всеми включенными правилами и целью нулевых предупреждений.

Однако при использованииContract.Requires(parameter != null) Я получаю предупреждение от Code Analysis, а именно CA1062:

CA1062: Microsoft.Design: видимый извне методFoo», проверьте параметр 'параметр» перед его использованием.

Тот'жаль, я неЯ не хочу отключать это правило, так как я считаю его полезным. Но я также неЯ не хочу подавлять каждое ложное происшествие.

Есть ли решение?