Don't narrow type variable to its bound if actual type is Any (PY-43027)

GitOrigin-RevId: 7fca22b43203fdfc9fa2e2fa7452e362e6ec8dfd

python/python-psi-impl/src/com/jetbrains/python/psi/types/PyTypeChecker.java

@@ -215,7 +215,7 @@ public class PyTypeChecker {
       context.substitutions.put(expected, actual);
     }
     else if (bound != null) {
-      context.substitutions.put(expected, bound);
+      context.substitutions.put(expected, PyUnionType.createWeakType(bound));
     }
 
     return true;

python/testSrc/com/jetbrains/python/PyTypeTest.java

@@ -636,7 +636,7 @@ public class PyTypeTest extends PyTestCase {
   }
 
   public void testUpperBoundGeneric() {
-    doTest("Union[int, str]",
+    doTest("Union[Union[int, str], Any]",
            "def foo(x):\n" +
            "    '''\n" +
            "    :type x: T <= int or str\n" +

python/testSrc/com/jetbrains/python/PyTypingTest.java

@@ -239,7 +239,7 @@ public class PyTypingTest extends PyTestCase {
   }
 
   public void testAnyStrForUnknown() {
-    doTest("Union[str, bytes]",
+    doTest("Union[Union[str, bytes], Any]",
            "from typing import AnyStr\n" +
            "\n" +
            "def foo(x: AnyStr) -> AnyStr:\n" +