[StavrosK]

In practice it's not so bad, because your program won't compile if you've missed returning something in any branch, or if you've returned the wrong thing.