I think you are saying the same thing as benced - just because Zig source code is verbose is no reason to assume the binary should be larger.
I am saying that I do not believe there is a correlation between source code length and binary length. If that's what benced meant by their question, then yes, I agree :)