タイプシステムがC/C++みたいに不定/未定義な動作を引き起こさないってことを
言っているのでは