That would be nice!

-----Original Message-----
From: Std-Proposals <std-proposals-bounces_at_[hidden]> On Behalf Of
Ville Voutilainen via Std-Proposals
Sent: Tuesday, May 19, 2026 1:58 PM
To: std-proposals_at_[hidden]
Cc: Ville Voutilainen <ville.voutilainen_at_[hidden]>
Subject: Re: [std-proposals] [[unevaluated]]

On Tue, 19 May 2026 at 22:22, Frederick Virchanza Gotham via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>> The compiler is free to ignore attributes, but not static_assert.
> That will definitely change at some point. No way will attributes always
be ignorable.

return -EUNSUBSTANTIATED & -EOPINIONNOTFACT & -EBASELESSCLAIM &
-EUNLIKELYTOBECORRECT;

In case this idea had actual convincing motivation, there's no reason
*whatsoever* to do it with an attribute.
A context-sensitive keyword on a function declaration (but not on a function
pointer) would do the work perfectly fine.

--
Std-Proposals mailing list
Std-Proposals_at_[hidden]
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals