pure functions cannot be removed, actually: pure vs. total

[Stefan Koch]

On Tuesday, 5 June 2018 at 14:48:23 UTC, FeepingCreature wrote:
> I'm just posting to clear up the misunderstanding that a call 
> to a pure function can be removed. Actually, even calls to 
> strongly pure functions cannot always be removed. This is 
> because there is one thing that a pure function can do that 
> will change program behavior if it is removed, even if it does 
> not change any global state whatsoever: it can simply never 
> return.
>
> [...]

In that instance you can have false negatives. catgorizing total 
functions an non total.

But no false positives afaics.