On Tue, 14 Oct 2025 at 22:48, Tom Honermann via SG21 <sg21@lists.isocpp.org> 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?
It is implementation-defined whether the implementation is a hardened implementation. If it is a hardened implementation, violating a hardened precondition results in a contract violation ([structure.specifications]).
Tom.
_______________________________________________ SG21 mailing list SG21@lists.isocpp.org Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/sg21 Link to this post: http://lists.isocpp.org/sg21/2025/10/11275.php