On Sun, Jun 1, 2025 at 12:41 PM SD SH via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> Optimization for caller and not for callee.

So, what you want is for `contract_assert` to be an expression (or
expression-like, since it's not actually an expression) rather than a
statement. This:

```
sqrt(d assure(d >= 0))
```

Is exactly equivalent to:

```
contract_assert(d >= 0);
sqrt(d);
```

Personally, I prefer the latter, as it removes unneeded visual noise
from the function call. It also makes it much more clear that the
assert applies to more than just that one expression.