This is, of course, why nobody has ever bothered developing a unit-testing framework for a statically-typed language, and why it would have been <i>impossible</i> for the idea of automated refactorings to have originated in a dynamically-typed language.