“合同不能在试块”是什么意思?

我正在使用3.5的微软代码合同库

public object RetrieveById(int Id)
{    
    //stuff happens...
    Contract.Ensures(newObject != null, "object must not be null");
    return newProject;
    //No error message if I move the Contract.Ensures to here
    //But it isn't asserting/throwing a contract exception here either           
}

更新:

在你的帮助下我想出来了:

• 移到顶部

• 对照合同检查结果

  Contract.executes(Contract.Result()!=null,“对象不能为null”);