c# - Microsoft 代码合同中的屏蔽断言是什么？

Question

可能重复：
如何在 MS 代码合同中找到“屏蔽”断言

我最近开始使用 C# 4.0 下的代码合同，我收到如下消息：

CodeContracts: Checked 50 assertions: 33 correct (17 masked)

我一直在寻找什么是蒙面断言，但没有找到。它不在 CodeContracts 手册中，我也找不到关于“蒙面断言”的任何内容。

有什么见解吗？