ブロック内に仮引数がない場合は違反チェックを行わない