match 式に到達不能パターンがないことをチェックします。