>any language where the necessary information is not thrown away when producing a binary

Its only thrown away if you ask the compiler to throw it away. You can always ship a debug build.