Nullability aspect of type argument inference is not propagated through the subsequent operations, causing absence of expected nullable diagnostics

[AlekseyTs]

        [Fact]
        public void Test3()
        {
            var source = @"
class Outer
{
    void M0(Outer x, Outer? y)
    {
        M1(x).M2(y);
        M1<Outer>(x).M2(y);
    }

    Other<T> M1<T>(T x) where T : object => throw null;
}

class Other<T> where T : object
{
    public void M2(T y) {}
}
";

            CreateCompilation(source, options: WithNonNullTypesTrue()).VerifyDiagnostics(
                // (7,25): warning CS8604: Possible null reference argument for parameter 'y' in 'void Other<Outer>.M2(Outer y)'.
                //         M1<Outer>(x).M2(y);
                Diagnostic(ErrorCode.WRN_NullReferenceArgument, "y").WithArguments("y", "void Other<Outer>.M2(Outer y)").WithLocation(7, 25)
                );
        }

Expect to get similar error for M1(x).M2(y);