Repro for CS8762 false positive

TestNullable.cs

using System.Diagnostics.CodeAnalysis;

namespace TestNullable
{
    class Test
    {
        static bool TrySomething1(string s, [NotNullWhen(false)] out string? failReason)
        {
            // warning CS8762: Parameter 'failReason' must have a non-null value when exiting with 'false'.
            return s.Length % 2 == 0
                ? Foo(s, out failReason)
                : Bar(s, out failReason);
        }

        static bool TrySomething2(string s, [NotNullWhen(false)] out string? failReason)
        {
            // no warning
            if (s.Length % 2 == 0)
            {
                return Foo(s, out failReason);
            }
            else
            {
                return Bar(s, out failReason);
            }
        }

        static bool Foo(string s, [NotNullWhen(false)] out string? failReason)
        {
            // Actual implementation not relevant
            failReason = null;
            return true;
        }

        static bool Bar(string s, [NotNullWhen(false)] out string? failReason)
        {
            // Actual implementation not relevant
            failReason = null;
            return true;
        }
    }
}