IDEs can still substantially aid in refactoring with runtime type checking and return type annotations - see WebStorm and PHPStorm for two good examples of this. It isn't perfect - but certainly for things like changing the return type of functions, it will usually get you at least 90% of the way there.

Now, whether you consider that's actually helping solve the refactoring, or actually introducing new bugs, well - that's another issue :)