Date: Tue, 21 Oct 2025 10:46:32 +0200
> On 21 Oct 2025, at 09:47, Ville Voutilainen <ville.voutilainen_at_[hidden]> wrote:
> 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, great, thanks for the clarification!
Timur
> 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, great, thanks for the clarification!
Timur
Received on 2025-10-21 08:46:36