Warning 1 CodeContracts: requires unproven: Contract.ForAll(coll, item => item != null) C:\MyApp\MyObj.cs
public MyObj()
: this(new Collection<Object>()) { }
public MyObj(ICollection<Object> coll)
{
Contract.Requires<ArgumentNullException>(coll != null);
Contract.Requires<ArgumentException>(Contract.ForAll(coll, item => item!= null));
_coll = coll;
}
我意识到在旧版本的 CodeContractsContract.ForAll()
中不支持该方法,但我认为现在(版本 1.4.40602.0)会支持吗?我只是在这里做错了什么还是仍然不受支持?