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.

Jens