4 references to PostconditionOnException
System.Private.CoreLib (4)
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\ContractFailedEventArgs.cs (1)
19Debug.Assert(originalException == null || failureKind == ContractFailureKind.PostconditionOnException);
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\Contracts.cs (2)
402AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow"); 420AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow");
src\libraries\System.Private.CoreLib\src\System\Runtime\CompilerServices\ContractHelper.cs (1)
118case ContractFailureKind.PostconditionOnException: