Windows 7 x64 の VS2012 で Code Contracts 1.4.51019.0 を使用すると、ccrewrite から次のコンパイル エラーが発生します。「メソッドまたは操作が実装されていません。」
これは、プロパティ アクセサーの組み合わせとasync
、 inner がないメソッドの使用が原因のようawait
です。
再現手順:
「フル」ランタイム コントラクト チェックを有効にして、新しいクラス ライブラリを作成します。
namespace CodeContractsAsyncBug
{
using System.Threading.Tasks;
public class Service
{
// Offending method!
public async Task ProcessAsync(Entity entity)
{
var flag = entity.Flag;
}
}
public class Entity
{
public bool Flag { get; set; }
}
}
他の誰かがこれを経験しましたか?