合同。所有的都不行?

我想用 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 .

我做得对吗?它还能用吗?还是我错过了什么?