On Tuesday, May 19, 2026, Ville Voutilainen <ville.voutilainen_at_[hidden]>
wrote:

> 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;
>


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é.