Date: Tue, 21 Oct 2025 10:47:24 +0300
On Tue, 21 Oct 2025 at 10:37, Timur Doumler <cpp_at_[hidden]> wrote:
>
> OK, but if you wrote a buggy assertion and that crashes your code, then you go and fix that assertion. I don't see how a contract-checking facility could plausibly protect you from that.
Oh, there's no ask for the facility to protect from that, that was
just a remark on what the worst case is.
>
> OK, but if you wrote a buggy assertion and that crashes your code, then you go and fix that assertion. I don't see how a contract-checking facility could plausibly protect you from that.
Oh, there's no ask for the facility to protect from that, that was
just a remark on what the worst case is.
Received on 2025-10-21 07:47:39