コードコントラクトに、「キーコンディションが不正であることが表示されるのはなぜですか？

Question

私は何時間もこのエラーのトラブルシューティングを行っています。なぜこのようなことが起こるのかわかりません。以下のコードを検討：

using System; 
using System.Diagnostics.Contracts; 
using System.Linq.Expressions; 

namespace Contracts 
{ 
    class Data 
    { 
     public object TestData1 { get; set; } 
     public object TestData2 { get; set; } 
    } 

    class Program 
    { 
     static void Main() 
     { 
      Data d = new Data(); 
      Method(d); 
     } 

     static void Method(Data d) 
     { 
      Contract.Requires(Methods.TestMethod1("test")); 
      Contract.Requires(Methods.TestMethod2("test1", "test2")); 
      Contract.Requires(Methods.TestMethod3(d, x => x.TestData1)); 
      Contract.Requires(Methods.TestMethod4(d, x => x.TestData1, x => x.TestData2)); 
     } 
    } 

    static class Methods 
    { 
     [Pure] 
     public static bool TestMethod1(string str) { return true; } 

     [Pure] 
     public static bool TestMethod2(params string[] strs) { return true; } 

     [Pure] 
     public static bool TestMethod3<T>(T obj, Expression<Func<T, object>> exp) { return true; } 

     [Pure] 
     public static bool TestMethod4<T>(T obj, params Expression<Func<T, object>>[] exps) { return true; } 
    } 
} 

Iは、ラインプロジェクトをコンパイルする "Contract.Requires（Methods.TestMethod4（D、X => x.TestData1、X => x.TestData2））;"次のコンパイルエラーが発生します。

Malformed contract. Found Requires after assignment in method 'Contracts.Program.Method(Contracts.Data)'.

はどのように "Contract.Requires（Methods.TestMethod2（" TEST1" 、 "TEST2来ます"））;」エラーは発生しませんが、 "Contract.Requires（Methods.TestMethod4（d、x => x.TestData1、x => x.TestData2））;"ありますか？

助けてください！ :(

Answer 1

私は、MSDNのフォーラムやthey think it's a bug too上の問題を掲載。