Re: Should this be flagged as a warning?

[bearophile]

Timon Gehr:

In generic code, it is possible and likely (as pure is inferred for lambdas and template functions) that a pure function ends up being called for potential side effects.

Already tried that :-(

Bye,
bearophile