Neverは本来発生しない値なので、Bottom型として扱えるなら、↑で書いたjustみたいな回りくどいことはしなくてよくなるけど

12:51 PM

そもそもその論調で行くならcase自体存在しないはずですよね、ということです。

12:51 PM

kotlin NothingはBottomでしたっけ、