代码检查：合并 'and' 模式

此检查会报告其操作数可以合并为更简单单一模式的 and 模式。 在测试的情况下，如果 and 的一侧已经收窄了类型，另一侧又添加了兼容的模式条件，就会发生这种情况。