私は Resharper 5.x を使用してコンパイル時の分析を行っていますが、通常は非常に優れていますが、ロジックにコード コントラクトを適用していないようです。次のようなものがありますが、マークされた行で問題が発生しています。
public void Method(int arg)
{
Contract.Requires(this.NullableValueType != null);
this.Method2(
arg,
this.NullableValueType.Value, // [1]
this.ReferenceType);
}
[1] は、「可能性のある 'System.InvalidOperationException'」で強調表示されます。チェックをオフにせずにこのエラーを取り除く方法はありますか?