> I don’t see how zero cost abstraction has anything to do with binary size.

But binary size is absolutely a cost. Whether or not it's a cost that matters to you is a different question, but it's still a cost.