On Tuesday, May 19, 2026, Ville Voutilainen <ville.voutilainen@gmail.com> wrote:

On Tue, 19 May 2026 at 22:22, Frederick Virchanza Gotham via
Std-Proposals <std-proposals@lists.isocpp.org> 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;

At the very least there will be a new kind of attribute which cannot be ignored, perhaps three brackets instead of two:

[[[unevaluated]]]

There isn't a snowball's chance in hell that attributes will stay ignorable forever. No way José.