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