On Mon, 5 May 2025 at 15:48, Nina Dinka Ranns via Liaison
<liaison_at_[hidden]> wrote:
>
> Hi all,
>
> there's a paper targeting WG14 regarding static assertions in expressions.
> https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3538.pdf
>
> The author would appreciate WG21 feedback. I encourage you to take a moment to read the paper and share your thoughts.

Here's two thoughts:

1) the proposal is that a static_assert results in an int. Why not bool?

2) for C++, the proposal is far less compelling in general, because we
can already lambda-wrap non-expressions into expressions.