コードインスペクション：冗長な null 許容属性

このインスペクションは、ターゲットの型と既存の契約によってすでに属性が不要になっている場合でも、 [MaybeNull]、 [NotNull]、 [MaybeNullWhen(...)] などの null 許容フロー分析属性を報告します。この場合、属性は API 契約を強化することなく、ノイズを増やすだけです。

                #nullable enable annotations
                using System.Diagnostics.CodeAnalysis;
                class C
                {
                    [return: NotNull]
                    public extern string? GetText();
                }
            
  

                #nullable enable annotations
                class C
                {
                    public extern string? GetText();
                }
            
  

これは、型自体がすでに同じ null 許容情報を伝達している場合によく起こります。

2026 年 6 月 12 日