Disallow side effects in assert

[bearophile]

Daniel Murphy:

> Do you really want to force all codebases to 'pure'ify all 
> their functions?

What percentage of your functions are transitively called in your 
asserts? In my code it's a small percentage.


> A function call in an assert might be a red flag, but it 
> certainly isn't a bug.

I agree. I am suggesting to disallow just impure functions in 
asserts.

We have an acceptably good type system, but are we afraid of 
using it?

Bye,
bearophile