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

此检查会根据控制流和值分析报告始终匹配或永不匹配的模式。这通常意味着该模式是多余的、不可达的或未能表达预期的条件。

示例

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

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

快速修复

如果模式始终为 false，则修复方式取决于上下文。在某些情况下，最佳的修复方式是重写条件，而不是简化模式。

2026年 5月 8日