なぜContract.Ensures（Contract.Result <...>！= null）が動作しないのですか？

Question

なぜ私は "CodeContracts：おそらくヌル参照 'ストリーム'でメソッドを呼び出すのですか？"このコードサンプルでは？

私はSystem.Contracts.dllでリフレクターを使用して、次の行は、HttpWebRequestのクラスのGetRequestStream（）メソッドにありますので、私は求めています

public static void Test() 
{ 
    var request = (HttpWebRequest)HttpWebRequest.Create("some url"); 
    Contract.Assume(request != null); 
    var stream = request.GetRequestStream(); 
    stream.Flush(); // WARNING IN THIS LINE 
} 

：方法がないので、契約が無視されていることを

public virtual Stream GetRequestStream() 
{ 
    Contract.Ensures(Contract.Result<Stream>() != null, null, "Contract.Result<System.IO.Stream>() != null"); 
} 

Answer 1

それが適用される。 HttpWebRequestにはpublic virtual Stream GetRequestStreamがありません。ただし、はWebRequestにあり、HttpWebRequestにはpublic override Stream GetRequestStreamがありますが、どちらもSystem.Contracts.dllに契約していません。

これはバグとして報告でき、Contract.Assumeを使用すると警告を回避できます。