From fd2a532e617b3b3bf3dc47bcf2d68ba4f95b04e9 Mon Sep 17 00:00:00 2001 From: Maksym Koshovyi Date: Fri, 27 Aug 2021 16:35:06 +0300 Subject: [PATCH] MemberNotNullWhen(true, nameof(Value)) --- .../ref/Microsoft.Extensions.Primitives.cs | 1 + .../Microsoft.Extensions.Primitives/src/StringSegment.cs | 1 + 2 files changed, 2 insertions(+) diff --git a/src/libraries/Microsoft.Extensions.Primitives/ref/Microsoft.Extensions.Primitives.cs b/src/libraries/Microsoft.Extensions.Primitives/ref/Microsoft.Extensions.Primitives.cs index 66afb43253700..c411a6b2c83c8 100644 --- a/src/libraries/Microsoft.Extensions.Primitives/ref/Microsoft.Extensions.Primitives.cs +++ b/src/libraries/Microsoft.Extensions.Primitives/ref/Microsoft.Extensions.Primitives.cs @@ -45,6 +45,7 @@ public partial interface IChangeToken public StringSegment(string buffer, int offset, int length) { throw null; } public string? Buffer { get { throw null; } } [System.Diagnostics.CodeAnalysis.MemberNotNullWhen(true, nameof(Buffer))] + [System.Diagnostics.CodeAnalysis.MemberNotNullWhen(true, nameof(Value))] public bool HasValue { get { throw null; } } public char this[int index] { get { throw null; } } public int Length { get { throw null; } } diff --git a/src/libraries/Microsoft.Extensions.Primitives/src/StringSegment.cs b/src/libraries/Microsoft.Extensions.Primitives/src/StringSegment.cs index 95a84ecd0a5bd..e985c5a5038c6 100644 --- a/src/libraries/Microsoft.Extensions.Primitives/src/StringSegment.cs +++ b/src/libraries/Microsoft.Extensions.Primitives/src/StringSegment.cs @@ -84,6 +84,7 @@ public StringSegment(string buffer, int offset, int length) /// Gets whether this contains a valid value. /// [MemberNotNullWhen(true, nameof(Buffer))] + [MemberNotNullWhen(true, nameof(Value))] public bool HasValue => Buffer != null; ///