Date: Tue, 19 May 2026 22:58:24 +0300
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 <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.
Received on 2026-05-19 19:58:39