Rust での発散と型推論とセミコロンあたりの挙動について、疑問と答えと経緯の調査。そのうちブログにまとめる予定の話のメモ。

never-type-coercion.md

発散と 型推論と セミコロン Rustにおける 疑問と答え #57577

雑なメモ。 そのうちフォーマットしてブログにまとめる予定。

内容は 2017-10-14 およびそれ以前の情報に基く。

更新

過去のこのファイルの内容にはいくらかのミスや古くなった内容などがあるため、内容を更新しつつブログに書き直した。 Rust での never type とセミコロン、型推論のルール変遷 - 何とは言わない天然水飲みたさ を参照されたい。