日本語ドキュメントはしばらく更新されておらず情報が古くなっているため、できるだけ原文の英語ドキュメントで最新の情報を参照ください。節での変数の型を制限し保証することができます。節の中ではチェックした型「ではない」ことが保証されます。よるチェックはどんな型に対しても行うことができます。抽象クラスやモジュールでも有効です。(&&)」が使われた場合にも同様です。ことに注意してください。それらの場合には、まず変数への代入を行ってください。あることが保証されるend。