On Sun, 1 Nov 2020 at 15:26, Barry Revzin via SG10 <sg10_at_[hidden]>
wrote:

> On the other hand, as he points out, all the implementations already seem
> to implement this feature.
>

I think that's the key point. If all existing compilers already do it, and
all future compilers would have to do it for conformance (assuming the
paper is accepted), nobody needs to be able to detect if the compiler does
it.

So no need for a macro.