> On 20 Mar 2025, at 22:14, Thiago Macieira via Std-Proposals <std-proposals_at_[hidden]> wrote:
>
> On Thursday, 20 March 2025 12:20:09 Pacific Daylight Time Hans Åberg via Std-
> Proposals wrote:
>> The idea is to being able to suppress diagnostics by adding a declaration of
>> the same function without it, in any order of appearance. It would probably
>> be up to the compiler writer to decide what to do.
>
> What happens if someone forward-declares the function? Does this appearance
> cause the compiler to conclude it is implemented? What happens if it is before
> the [[unimplemented]] attribute? What happens if the #include order is not the
> same?
>
> That's why I said this should be another attribute, one which has a higher
> precedence.
>
> What happens if I declare that I am overriding but it wasn't marked
> [[unimplemented]]?

I can't help out here as I have only considered the simple case of something missing, even though I am aware of that one might want more complicated cases.