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

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

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

CA1062: Microsoft.Design: во внешне видимом методе «Foo» проверьте параметр «parameter» перед его использованием.

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

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