Ensures() [2/2]

static void System.Diagnostics.Contracts.Contract.Ensures ( bool condition, string? userMessage )

inlinestatic

Definition at line 91 of file Contract.cs.

    {
        AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures");
    }

References System.Diagnostics.Contracts.Contract.AssertMustUseRewriter().