test: wider expected return value

Author: Luunynliny

test-data/unit/check-classes.test

@@ -1704,6 +1704,44 @@ main:18: note: Expression tuple item 7 has type "Union[str, float]"; "str" expec
 main:18: note: Expression tuple item 8 has type "Optional[str]"; "str" expected;
 [builtins fixtures/property.pyi]
 
+[case testPropertyWithTupleUnionAndNonUnionMismatchReturnValueType_wider_expeced_return]
+from typing import Tuple, Union
+class A:
+    a: str
+    b: str
+    c: str
+    d: str
+    e: str
+    f: str
+    g: str
+    h: str
+    i: str
+    j: str
+    k: str
+    l: Union[float, int]
+
+    @property
+    def x(self) -> Tuple[Union[str, int], Union[str, float], int, Union[str, None], Union[str, None], Union[str, None], str, str, str, str, str, str]:
+        return (
+            self.a,
+            self.b,
+            self.c,
+            self.d,
+            self.e,
+            self.f,
+            self.g,
+            self.h,
+            self.i,
+            self.j,
+            self.k,
+            self.l,
+        )
+[out]
+main:18: error: Incompatible return value type (2 tuple items are incompatible)
+main:18: note: Expression tuple item 2 has type "str"; "int" expected;
+main:18: note: Expression tuple item 11 has type "Union[float, int]"; "str" expected;
+[builtins fixtures/property.pyi]
+
 -- Descriptors
 -- -----------