文を分けた場合は

5:48 AM

型は独立する

5:48 AM

一つ一つのif式ごとに型が決まるだけ

5:49 AM

if (foo) { return A } とだけ書いてある場合、このif式の型は Unit( voidみたいなもん) だね。ただ左辺が無いので意味はない。

5:50 AM

then側が Never で else側が書かれてないのでUnitだ

5:51 AM

returnはifに対するreturnになってるんじゃなくて、ifが書いてある関数に対するreturnだよ。