检查
match
表达式是否具有无法到达的模式。