アサーションを使用して式に型を指定します。