Asserts and side effects

[Lars T. Kyllingstad]

bearophile wrote:
> Lars T. Kyllingstad:
>> Would it be possible (and desirable) for the D compiler to statically 
>> check that asserts have no side effects?
> 
> Only pure asserts?

Like Denis said, pure is a bit too strict. One just wants to make sure 
that the assert doesn't *change* any variables. It should be able to 
read them, otherwise there would be no point in it.

-Lars