这是代码合同重写器中的错误吗？
我正在尝试.NET代码合同。 下面的代码在运行时契约检查关闭时运行得很好，但在启动运行时契约检查时失败：
using System.Collections.Generic;
using System.Diagnostics.Contracts;
namespace ConsoleApplication1
{
public class Item<T> where T : class { }
public class FooItem : Item<FooItem> { }
[ContractClass(typeof(ITaskContract<>))]
public interface ITask<T> where T : Item<T>
{
void Execute(IEnumerable<T> items);
}
[ContractClassFor(typeof(ITask<>))]
internal abstract class ITaskContract<T> : ITask<T> where T : Item<T>
{
void ITask<T>.Execute(IEnumerable<T> items)
{
Contract.Requires(items != null);
Contract.Requires(Contract.ForAll(items, x => x != null));
}
}
public class FooTask : ITask<FooItem>
{
public void Execute(IEnumerable<FooItem> items) { }
}
class Program
{
static void Main(string[] args)
{
new FooTask();
}
}
}
运行此代码时出现的错误不是合同违规。 相反，它看起来像重写器以某种方式生成损坏的二进制文件：
未处理的异常：System.BadImageFormatException：试图加载格式不正确的程序。 （来自HRESULT的异常：0x8007000B）在ConsoleApplication1.Program.Main（String [] args）
如果删除以下行，错误消失：
Contract.Requires(Contract.ForAll(items, x => x != null));
我做错了什么，或者这是二进制重写器中的错误？ 我能做些什么呢？
这是重写器中已确认的错误：
http://social.msdn.microsoft.com/Forums/en-US/codecontracts/thread/66410714-4475-45fb-b0db-50036463029e
链接地址: http://www.djcxy.com/p/23735.html