add testTypeVarBoundToNewUnionAttributeAccess

Author: DetachHead

test-data/unit/check-generic-subtyping.test

@@ -818,7 +818,7 @@ class Y(Generic[T]):
         return U()  # E: Incompatible return value type (got "U", expected "T")
 
 
-[case testTypeVarBoundToUnionAttributeAccess]
+[case testTypeVarBoundToOldUnionAttributeAccess]
 from typing import Union, TypeVar
 
 class U:
@@ -844,6 +844,32 @@ main:15: error: Item "U" of the upper bound "Union[U, V, W]" of type variable "T
 main:15: error: Item "V" of the upper bound "Union[U, V, W]" of type variable "T" has no attribute "c"
 
 
+[case testTypeVarBoundToNewUnionAttributeAccess]
+from typing import TypeVar
+
+class U:
+    a: float
+class V:
+    b: float
+class W:
+    c: float
+
+T = TypeVar("T", bound=U | V | W)
+
+def f(x: T) -> None:
+    x.a  # E
+    x.b = 1.0  # E
+    del x.c  # E
+
+[out]
+main:13: error: Item "V" of the upper bound "Union[U, V, W]" of type variable "T" has no attribute "a"
+main:13: error: Item "W" of the upper bound "Union[U, V, W]" of type variable "T" has no attribute "a"
+main:14: error: Item "U" of the upper bound "Union[U, V, W]" of type variable "T" has no attribute "b"
+main:14: error: Item "W" of the upper bound "Union[U, V, W]" of type variable "T" has no attribute "b"
+main:15: error: Item "U" of the upper bound "Union[U, V, W]" of type variable "T" has no attribute "c"
+main:15: error: Item "V" of the upper bound "Union[U, V, W]" of type variable "T" has no attribute "c"
+
+
 [case testSubtypingIterableUnpacking1]
 # https://github.com/python/mypy/issues/11138
 from typing import Generic, Iterator, TypeVar