Am Mittwoch, dem 24.05.2023 um 11:11 +0200 schrieb Jens Maurer:
> On 24/05/2023 10.56, Martin Uecker via Liaison wrote:
> > So a semantic notion that only makes sense for whole
> > programs is not really that interesting anyway and this is also
> > one reason why I think we need to move away from it.
>
> I'd like to point out that C++ has the notion of "ill-formed,
> no diagnostic required" which is the phrasing used, inter
> alia, for linker errors (duplicate symbol definitions etc.),
> and the reading is that the entire program (even before
> execution starts) is no longer covered by the rules of
> the C++ standard.

I think we should also think about whether one can require
diagnostics for some of these. But this is is a different
topic, I am more interested in run-time issues.

Martin