Visual Studio 2022警告“此处“xxx”可能为null”,即使“xxx”不可能为null

我有一个类似的C#方法(net6.0):

bool TryDoSomething(out MyObject1? obj1, out MyObject2? obj2)
{
    obj1 = DoSomethingElse();
    obj2 = DoAnotherThing();
   
    //Do some other things....
    
    return obj1 != null && obj2 != null;
}

这是通过另一种方法调用的:

bool CallingMethod()
{
    if (!TryDoSomething(out var obj1, out var obj2))
        return false;

    obj1.PerformSomeAction();
    obj2.PerformADifferentAction();
    
    //Do many other things....
    
    return true;

}

从的定义可以清楚地看出 TryDoSomething() 以及我提前离开的事实 return false ,不可能 obj1 或 obj2 可能是 null 到…的时候 obj1.PerformSomeAction() 或 obj2.PerformADifferentAction() 被调用(由于 TryDoSomething() 返回 false 在到达那些线之前)。

然而,尽管如此,Visual Studio在 obj1 和 obj2 通知我 'xxx' may be null here 。。。。。 Dereference of a possibly null reference 。(其中“xxx”是“obj1”或“obj2”)。

这怎么会发生?这是Visual Studio本身的错误吗?