契約は、私は証明されていない保証しますm個GUID

Question

のための証明されていない保証します上記のコードのifといくつかのバリエーションの代わりに、しかしまだ警告、任意のアイデアを得るか？ 乾杯

Answer 1

このように見えるのは、ジェネリックタイプとの相互作用です。タイプをGuidに修正するとうまくいきます。これはコード契約のバグだと思いますので、a question on the Code Contracts forumを提出しました。