Contract.ForAll 不起作用？

Question

我正在尝试使用Contract.ForAll，看起来我在这里遗漏了一些东西。

考虑这个小例子：

        var l = new List<string>();
        Contract.Assume( Contract.ForAll( l, s => s != null ) );

        foreach ( var s in l ) Console.WriteLine( s.Length );

尽管调用了Contract.Assume，但我确实收到了s.Length 的“可能在空引用上调用方法”警告。

我这样做对吗？它甚至应该工作吗？还是我错过了什么？

Answer 1

来自Code Contracts User Manual，第 6.6.1 节检查器的当前限制和错误：

静态合约检查器尚未处理量词 ForAll 或 Exists。