Why use a DFA instead of DIP1000?

[Richard (Rikki) Andrew Cattermole]

On 14/09/2025 3:12 PM, Walter Bright wrote:
> On 9/13/2025 4:06 AM, Dennis wrote:
>> As far as I'm aware, [users expect dead code to be type checked by the 
>> frontend as usual](https://forum.dlang.org/post/ 
>> hullwyrnmgcaoghaqbux at forum.dlang.org).
> 
> That is correct. For the false path of a `static if`, the code must be 
> syntactically correct but does not have to be semantically correct. 
> `static if` would be rather useless if it required semantic correctness.

The linked code is not static if, its a regular if.