static assert(0) in template is a disaster

[Stefan Koch]

On Wednesday, 17 June 2020 at 01:26:48 UTC, Andrei Alexandrescu 
wrote:
> On 6/16/20 7:01 PM, Paul Backus wrote:
>> I agree that this is a bug, but it is a bug in the design of 
>> the language itself, not the implementation.
>
> Is that a sort of a compile-time race condition? If that's the 
> case, D should deem the program ill-formed with no diagnostic 
> required.

That is ......
I lack the words.
I must be misunderstanding.

Are you saying that it is fine for D to act differently on code 
that used to compile fine,
because we don't want to detect order-dependency issues?

Please clearify.