[Issue 22277] removing strongly pure function calls is an incorrect optimization

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=22277

Max Samukha <maxsamukha at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |maxsamukha at gmail.com

--- Comment #4 from Max Samukha <maxsamukha at gmail.com> ---
(In reply to Andrei Alexandrescu from comment #3)
> This has been discussed a number of times in the past. One proposal was that
> `void` pure functions must always be called - the compiler must assume since
> they're `void` and pure (a contradiction) then they do something
> surreptitious and must not be elided.

Could you explain why void and pure is a contradiction?

--