代码检查：模式始终为 'true' 或始终为 'false'

此检查会根据控制流和值分析报告总是匹配或从不匹配的模式。这通常意味着该模式是冗余的、不可达的，或没有表达想要的条件。

示例

                class C
                {
                    void M(bool value)
                    {
                        _ = value is true;
                    }
                }
            
   

                class C
                {
                    void M(bool value)
                    {
                        _ = value;
                    }
                }
            
   

快速修复

如果模式总是为 false，修复方法则取决于具体情况。在某些情况下，最佳修正方式是重写条件，而不是 Simplify 模式。

2026年 5月 8日