Add regression test for expand type -> simplified union crash (#15864)

See #13431 Authored by ilevkivskyi
python · Aug 13, 2023 · 98881d2 · 98881d2
1 parent 117b914
commit 98881d2
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/test-data/unit/check-callable.test b/test-data/unit/check-callable.test
@@ -587,3 +587,14 @@ class C(B):
     def f(self, x: int) -> C: ...
 class B: ...
 [builtins fixtures/classmethod.pyi]
+
+[case testCallableUnionCallback]
+from typing import Union, Callable, TypeVar
+
+TA = TypeVar("TA", bound="A")
+class A:
+    def __call__(self: TA, other: Union[Callable, TA]) -> TA: ...
+a: A
+a()  # E: Missing positional argument "other" in call to "__call__" of "A"
+a(a)
+a(lambda: None)