Comment by steveklabnik

Before a few days ago I would have told you that the smallest binary rustc has ever produced is 137 bytes, but I told that to someone recently and they tried to reproduce and got it down to 135.

The default settings don’t optimize for size, because for most people, this doesn’t matter. But if you want to, you can.