コードインスペクション：冗長な「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 年 6 月 12 日