So basically you are saying that using a language with static typing you are guaranteed by the compiler that your refactoring is safe, while in a dynamic typed

So basically you are saying that using a language with static typing you are guaranteed by the compiler that your refactoring is safe, while in a dynamic typed language you completely lose this guarantee and you will introduce bug, and you choose happily the second option? And you are also convinced that people that want some correctness guarantee are juniors while who doesn’t care of introducing bugs is a senior? Since when did the world start going upside down?