Added overload test

Author: randolf-scholz

test-data/unit/check-kwargs.test

@@ -735,6 +735,37 @@ def test_bad_case() -> None:
 [builtins fixtures/tuple.pyi]
 
 
+[case testStarArgsWithUnionSameTupleLengthsOverload]
+from typing import Union, overload
+
+class A: pass
+class B: pass
+class C: pass
+class D: pass
+
+@overload
+def f(a: A, b: B, c: C) -> None: ...
+@overload
+def f(a: None, b: None, c: None) -> None: ...
+def f(a: Union[A, None], b: Union[B, None], c: Union[C, None]) -> None: pass
+
+def test_case(
+    good: Union[tuple[A, B, C], tuple[None, None, None]],
+    bad1: Union[tuple[None, B, C], tuple[A, None, None]],
+    bad2: tuple[Union[A, None], Union[B, None], Union[C, None]],
+) -> None:
+    f(*good)
+    f(*bad1)  # E: Argument 1 to "f" has incompatible type "*Union[tuple[None, B, C], tuple[A, None, None]]"; expected "A" \
+              # E: Argument 1 to "f" has incompatible type "*Union[tuple[None, B, C], tuple[A, None, None]]"; expected "B" \
+              # E: Argument 1 to "f" has incompatible type "*Union[tuple[None, B, C], tuple[A, None, None]]"; expected "C"
+    f(*bad2)  # E: Argument 1 to "f" has incompatible type "*tuple[Optional[A], Optional[B], Optional[C]]"; expected "A" \
+              # E: Argument 1 to "f" has incompatible type "*tuple[Optional[A], Optional[B], Optional[C]]"; expected "B" \
+              # E: Argument 1 to "f" has incompatible type "*tuple[Optional[A], Optional[B], Optional[C]]"; expected "C"
+
+[builtins fixtures/tuple.pyi]
+
+
+
 [case testStarArgsWithUnionDifferentTupleLengths]
 from typing import Union