检查 match 表达式是否详尽,即涵盖所有可能的模式。