I think part of the beauty of static type systems, for refactoring guiding, is that most (if not all) issues arise at the time of change, when the change is fresh in your mind, locality of reference if you will.