代码检查：冗余的 'scoped' 参数修饰符

当 scoped 参数修饰符在该上下文中不影响逃逸分析或重载解析时，本检查会报告该修饰符。在这种情况下，该修饰符是多余的，只会增加干扰。

                ref struct R { }
                class C
                {
                    static void M(scoped R value)
                    {
                    }
                }
            
  

                ref struct R { }
                class C
                {
                    static void M(R value)
                    {
                    }
                }
            
  

这种情况经常出现在模式变量、析构变量、委托转换以及重写中，此时 scoped 不会改变实际契约。

2026年 5月 8日