The data type and edge case issues have to be considered 100% of the time unless the transpiler can reliably determine through static analysis that they aren't a factor.