src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\Contracts.cs (10)
300AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires");
317AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires");
332AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>");
348AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>");
368AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures");
385AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures");
402AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow");
420AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow");
479AssertMustUseRewriter(ContractFailureKind.Invariant, "Invariant");
496AssertMustUseRewriter(ContractFailureKind.Invariant, "Invariant");