diff --git a/src/Http/Authentication.Abstractions/src/AuthenticateResult.cs b/src/Http/Authentication.Abstractions/src/AuthenticateResult.cs
index 6b8b05f76d08..e55e557309a3 100644
--- a/src/Http/Authentication.Abstractions/src/AuthenticateResult.cs
+++ b/src/Http/Authentication.Abstractions/src/AuthenticateResult.cs
@@ -20,7 +20,7 @@ protected AuthenticateResult() { }
         /// <summary>
         /// If a ticket was produced, authenticate was successful.
         /// </summary>
-        [MemberNotNullWhen(true, nameof(Ticket))]
+        [MemberNotNullWhen(true, nameof(Ticket), nameof(Principal), nameof(Properties))]
         public bool Succeeded => Ticket != null;
 
         /// <summary>