Warning reported for dereference after first dereference with !

[cston]

Should not report a warning for x.GetHashCode() since the previous dereference in x!.ToString() succeeded:

#nullable enable

class Program
{
    static void F(object? x)
    {
        _ = x!.ToString();
        _ = x.GetHashCode(); // warning: may be null
    }
}

[cston]

Note, subsequent warnings would not be reported if #31732 is implemented.

[jcouv]

Closing as duplicate of #31732
Update: I now understand this is not exactly the same as the linked issue. On the first line we dereference x! and from that we should learn that x is not null.