static assert(0) in template is a disaster

[Paul Backus]

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.

Unfortunately it is quite easy to run into this sort of thing in 
real life if you use templates and design-by-introspection. See 
below for an example:

https://github.com/pbackus/sumtype/issues/35