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
