Date: Mon, 20 Oct 2025 19:23:48 +0300
On Mon, 20 Oct 2025 at 19:18, Gašper Ažman <gasper.azman_at_[hidden]> wrote:
>
> None of that is normative and as far as I remember we explicitly said implementations are free to diagnose incompatible modes...
All of that is normative. The ODR-equivalence is normative. There's no
rule that says that there's an "incompatibility" that is ill-formed
or undefined behavior or anything of the sort.
An implementation can diagnose whatever it pleases, but it must accept
such programs, too.
>
> None of that is normative and as far as I remember we explicitly said implementations are free to diagnose incompatible modes...
All of that is normative. The ODR-equivalence is normative. There's no
rule that says that there's an "incompatibility" that is ill-formed
or undefined behavior or anything of the sort.
An implementation can diagnose whatever it pleases, but it must accept
such programs, too.
Received on 2025-10-20 16:24:02