代码检查：使用空值检查模式替代在任何非空值上成功的类型检查。

该检查会报告那些进行显式类型检查但并未增加有用类型信息的代码模式，因为只要值不是 null 时，其类型早已确定。在这种情况下，使用空值检查模式比重复相同的类型检查更加清晰。

示例

                void M(string s)
                {
                    switch (s)
                    {
                        case string _:
                            break;
                    }
                }
            
   

                void M(string s)
                {
                    switch (s)
                    {
                        case not null:
                            break;
                    }
                }
            
   

快速修复

请将显式类型检查替换为 not null 模式。

2026年 5月 8日