「カバーできる」事が明示的にコードで示せないのが気になります。

基本 guard との組み合わせで使ってるのでカバーは else 内で書いてますから一応ルート的に明示できてるはず