I would expect that by placing my cursor on a function call which can determine which call it is, that it should be able to change the function signature so long as it doesn't conflict with another.
This is probably more difficult and is why it wasn't done, but it would be great to have.
This is very difficult, but it is something we are keeping an eye on, and intend to add when VA has a sufficiently robust understanding of overloaded functions:
case=2164
When you combine default parameters with types being cast when you call a function, its sometimes difficult to know for sure which overload is being called.
It is good to know what people are interested in and focussed on. We are still considering this, and are hoping to work out a reliable way of supporting this sooner rather than later. Tracking which overload is being used at every point is a little tricky.