Then that's a typical case of optimizing on the wrong metric. Find a case where it's actually too slow, ok, but saying "A does X, and X can lead to Y, therefor

Then that's a typical case of optimizing on the wrong metric. Find a case where it's actually too slow, ok, but saying "A does X, and X can lead to Y, therefore A does Y" is wrong. If you say the size of the binary is an issue, then give the issue, not how it could (or not) be an issue.