Comment by brundolf

For a fully static language, it wouldn't contribute much value because existing tooling can do that already. For a dynamic language (like in the OP), it would be an impossible problem to solve perfectly and I wouldn't trust it to be automated.