> and return the result with no further manipulation, I can—without exhaustive, or even any—testing be quite confident

But when you start having loops, conditions, arrays, nullable references etc. you can't be so confident any more unlike with proper type checking where you can be fully confident.