test

Author: hauntsaninja

test-data/unit/check-functions.test

@@ -3488,3 +3488,23 @@ reveal_type(join(f1, f2))  # N: Revealed type is "def ()"
 reveal_type(join(f1, f3))  # N: Revealed type is "def ()"
 reveal_type(join(f2, f3))  # N: Revealed type is "builtins.function"  # TODO: this could be better
 [builtins fixtures/tuple.pyi]
+
+[case testCallableJoinWithDefaultsMultiple]
+from typing import TypeVar
+T = TypeVar("T")
+def join(t1: T, t2: T, t3: T) -> T: ...
+
+def f_1(common, a=None): ...
+def f_any(*_, **__): ...
+def f_3(common, b=None, x=None): ...
+
+fdict = {
+    "f_1": f_1,  # E: Dict entry 0 has incompatible type "str": "Callable[[Any, Any], Any]"; expected "str": "Callable[[Any, Any, Any], Any]"
+    "f_any": f_any,
+    "f_3": f_3,
+}
+reveal_type(fdict)  # N: Revealed type is "builtins.dict[builtins.str, def (common: Any, b: Any =, x: Any =) -> Any]"
+
+reveal_type(join(f_1, f_any, f_3))  # N: Revealed type is "def (common: Any, b: Any =, x: Any =) -> Any" \
+                                    # E: Argument 1 to "join" has incompatible type "Callable[[Any, Any], Any]"; expected "Callable[[Any, Any, Any], Any]"
+[builtins fixtures/tuple.pyi]