如何指定Requires for out参数？

Question

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

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

Answer 1

在我的例子中，我错误地使用了out-keyword。正如Matthew Watson所说，我必须使用ref-parameter。

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