挙げたのは値なしの return だったけど、switch 式としての型と関数の返り値の型が同じだとバグを埋め込みそうで怖いですね