There should be no warnings in the following. Currently, Possible dereference of a null reference is reported for c and c.F in c.F.ToString().

class C
{
    object? F;
    static void M(C? c)
    {
        if (c?.F != null)
            c.F.ToString();
    }
}