assert and static assert and code generatio

[max haughton]

On Friday, 16 June 2023 at 00:46:28 UTC, Steven Schveighoffer 
wrote:
> On 6/15/23 5:32 PM, Cecil Ward wrote:
>> [...]
>
> Quote: "it now knows that the expression x < 200 is *false*"
>
> That's what I assumed was the typo.
>
>> [...]
>
> It appears that even ldc doesn't use the assert to make any 
> deductions when the assert is not compiled-in. So maybe not 
> implemented, but it would be to spec.
>
> -Steve
LDC can't see the assertion at all, it's gone by the time the 
backend is in play.