5 references to Assume
System.Private.CoreLib (5)
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\Contracts.cs (3)
229ReportFailure(ContractFailureKind.Assume, null, null, null); 248ReportFailure(ContractFailureKind.Assume, userMessage, null, null); 653if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume)
src\libraries\System.Private.CoreLib\src\System\Runtime\CompilerServices\ContractHelper.cs (2)
35if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume) 106case ContractFailureKind.Assume: