例えば早期returnをif文で書きたいのにそれが出来なくなるとか、

1

6:33 PM

そう言ったことをイメージしています

6:33 PM

ブランチの結果型は基本的にはvoidで揃いそうだなと思いました