Add member 'Principal' and 'Properties' to MemberNotNullWhenAttribute (#34883)

* Contributes to #5680

Author: msschl

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>