🚧never型

TODO:

never型は値を持たないことを意味する特別な型。

到達不可能な変数などがnever型になる。

voidとneverの違い

never型を使ったテクニック