[andrepd]

Dead code elimination means binary size bloat does not follow from dependency bloat. So this point is pretty much invalid for a compiled language like Rust.

[hedora]

Dead code elimination is exactly the same as the halting problem. It’s approximate (and hopefully conservative!) at best.

[kibwen]

No, dead code elimination in a statically-dispatched language is not equivalent to the halting problem.