Avatar
omochimetaru 3/27/2021 5:48 AM
文を分けた場合は
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だよ。