回答編集履歴

  なお、これは「この型の戻り値を**返さなければならない**」と言い換えることも出来ます。

 

  質問文のコードだと`return`が無い、つまり何も返していないのでエラーになります。