static assert(0) in template is a disaster

[Andrei Alexandrescu]

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.