コードインスペクション：[NotNull] または [CanBeNull] 属性は、null 許容参照型から同じアノテーションがすでに付与されている型に適用されています。

このインスペクションは、 null 参照型構文がすでに同じ情報を表現している場合でも、 [NotNull]、 [CanBeNull]、 [ItemNotNull]、 [ItemCanBeNull] などの null 可能性属性を報告します。両方を保持すると、通常は契約を改善することなく、余計な情報が増えるだけです。

                #nullable enable
                using JetBrains.Annotations;
                class C
                {
                    [NotNull]
                    public string GetName() => "";
                }
            
  

                #nullable enable
                class C
                {
                    public string GetName() => "";
                }
            
  

要素型の ? がすでに null 許容性を記述している場合、コレクション要素のアノテーションにも同じことが当てはまります。

2026 年 6 月 12 日