如何为out参数指定Requires？

Question

与此问题相关：How to specify Ensures for out parameter?

如何为Ensures.Requires() - 方法执行此操作？

Answer 1

就我而言，我错误地使用了out - 关键字。 正如Matthew Watson所说，我必须使用ref - 参数。

所以我对Contract.Requires()没有更多问题。