PY-83348 Narrow X | None object to X after object or x

GitOrigin-RevId: d835132ade43a3f12b78f4029f584cad97180dc2

python/testSrc/com/jetbrains/python/Py3TypeTest.java

@@ -150,6 +150,18 @@ public class Py3TypeTest extends PyTestCase {
              d = {}
              expr = d.pop("abc", None)""");
   }
+  
+  // PY-83348
+  public void testOrExpressionType() {
+    doTest("int | str", """
+             def foo(x: int | None):
+                 expr = x or "foo"
+             """);
+    doTest("str", """
+             def foo(x: None):
+                 expr = x or "foo"
+             """);
+  }
 
   public void testYieldInsideLambda() {
     // Checks that foo is not a generator