3 references to Postcondition
System.Private.CoreLib (3)
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\Contracts.cs (2)
368AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures"); 385AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures");
src\libraries\System.Private.CoreLib\src\System\Runtime\CompilerServices\ContractHelper.cs (1)
112case ContractFailureKind.Postcondition: