c# - .NET 4.5 中的代码契约 + 异步 : "The method or operation is not implemented"

Question

在 Windows 7 x64 上的 VS2012 中使用 Code Contracts 1.4.51019.0 时，我从 ccrewrite 收到以下编译错误:“方法或操作未实现."

这似乎是由属性访问器的组合和使用缺少内部 await 的 async 方法引起的。

复制步骤:

创建一个启用“完整”运行时契约检查的新类库:

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; }
    }
}

有没有人遇到过这种情况？

Answer 1

这似乎已在 Code Contracts 1.5 版中修复。