Specifically, the problem is it produces _almost_ correct code, which is worse than incorrect code because it might fool you into trusting it.

Quite. So we agree that this code is incorrect, and thus, that we have a contradiction on our hands.

To be clear: we’re in agreement that incorrect code that passes for correct at a glance is even worse than obviously-incorrect code.