That's exactly how the compiler saves you. A strongly typed routine signature contract is a like comment that cannot get out of sync.