コードインスペクション：宣言の null 許容性を推論（型メンバーは null ではないと推定されます）

このインスペクションは、戻り値が null にならないと推測されるメソッド、プロパティ、インデクサ、演算子を報告します。インスペクションはメンバー本体を調べ、コードが常に null 以外の参照を返す場合に [NotNull] を追加することを提案します。非同期メンバーとイテレータメンバーの場合は、 [ItemNotNull] などの項目レベルのアノテーションを提案できます。

サンプル

この場合、メソッドは常に null 以外の文字列を返します。クイックフィックスでは、メソッドに [NotNull] 属性を付加することを提案します。

                public class Settings
                {
                    public string GetName()
                    {
                        return "Default";
                    }
                }
            
   

                using JetBrains.Annotations;

                public class Settings
                {
                    [NotNull]
                    public string GetName()
                    {
                        return "Default";
                    }
                }
            
   

クイックフィックス

メンバーに、推論された null 許容属性（通常は [NotNull] ）をアノテーションとして付加します。コンテナーのような値を返すイテレータや非同期メソッドの場合は、 [ItemNotNull] を簡易的な解決策として使用できます。

2026 年 6 月 12 日