後者には以下のような奇妙な例がある。型強制が行われている。理由はその部分のコメントにあるように、then節側で厳しすぎる推論をしてしまうことを防止するためである。月別アーカイブはてなブログをはじめよう!qnighyさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。