On 10/14/25 3:54 PM, Ville Voutilainen via SG21 wrote:
> On Tue, 14 Oct 2025 at 22:48, Tom Honermann via SG21
> <sg21_at_[hidden]> wrote:
>> Perhaps the primary concern is that P2900 contracts does not expose a feature that suffices, without other implementation provided guarantees, to implement a hardened interface similar to what C++26 now offers thanks to P3471 (Standard Library Hardening)?
> Gettting warmer, yes. There's also a concern which of these things
> should be the default.

Are you unhappy with [intro.compliance.general]p8
<https://eel.is/c++draft/intro.compliance.general#8>?

    It is implementation-defined whether the implementation is a
    /hardened implementation/
    <https://eel.is/c++draft/intro.compliance.general#def:implementation,hardened>.
    <https://eel.is/c++draft/intro.compliance.general#8.sentence-1> If
    it is a hardened implementation, violating a hardened precondition
    results in a contract violation ([structure.specifications]
    <https://eel.is/c++draft/structure.specifications>).
    <https://eel.is/c++draft/intro.compliance.general#8.sentence-2>

Tom.

> _______________________________________________
> SG21 mailing list
> SG21_at_[hidden]
> Subscription:https://lists.isocpp.org/mailman/listinfo.cgi/sg21
> Link to this post:http://lists.isocpp.org/sg21/2025/10/11275.php