I'm a big fan of the idea. Why isn't a macro of an assertion followed by an
assumption sufficient?

On Thu, Mar 26, 2026, 5:41 p.m. Adrian Johnston via Std-Proposals <
std-proposals_at_[hidden]> wrote:

> Hello,
>
> I would like to propose [[assume_assert(expr)]] which would be a
> hybrid of contract_assert and [[assert(expr)]] that selects between
> the behavior of the two depending on the evaluation semantics mode as
> described in P2900:
>
> - ignore: same as [[assume(expr)]]
> - observe: same as contract_assert(expr)
> - enforce: same as contract_assert(expr)
> - quick-enforce: same as contract_assert(expr)
>
> These have the benefit of alerting the developer in a debug build when
> [[assume(expr)]] has been misused and hopefully reduce the amount of
> undefined behavior associated with the use of [[assume(expr)]].
>
> As an alternative to this approach, an evaluation semantics mode
> "assume" could be added which would convert all P2900 contract
> assertions to have [[assume(expr)]] semantics.
>
> proposed evaluation semantics:
> - ignore: unchanged
> - observe: unchanged
> - enforce: unchanged
> - quick-enforce: unchanged
> - assume: replace pre(expr), post(expr), post(ret, expr),
> contract_assert(expr) with [[assume(expr)]] semantics.
>
> The one major issue here is that the current standard says an assume
> statement cannot call functions, and this limitation would not be
> enforceable across a non-trivial application. Instead, I would propose
> that function calls would result in the expression being ignored when
> evaluation semantics are set to mode "assume". In this case a warning
> would not be recommended as that would break strict builds.
>
> I have implemented this kind of [[assume_assert(expr)]] using
> compiler-specific intrinsics and used it for every last assertion in a
> non-trivial codebase. It worked great, and so I am recommending it for
> the next version of C++26.
>
> I would also like to suggest things like assume_pre (expr) and
> assume_post (expr) although that pollutes the global namespace for a
> feature that is less commonly used.
>
> My recommendation would be to add [[assume_assert(expr)]] and
> evaluation semantics mode "assume".
>
> Regards,
> Adrian
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>