早期脱出とif式は両立するよ。例えばkotlinで実際それができるんだけど、returnしてる側の型はNeverなので、もう片方の型がAなら、ifの型はAになる。Never is Aなので。