On Sunday, 1 June 2025 13:28:34 Brasilia Standard Time Gašper Ažman via Std-
Proposals wrote:
> what does assure offer that contract_assert, pre, and post don't?

And how about [[assume]]?

    [[assume(d > 0)]];
    d = sqrt(d);

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
  Principal Engineer - Intel Platform & System Engineering