fix UnionType.__or__ and add UnionType.__getitem__

Author: KotlinIsland

stdlib/types.pyi

@@ -16,7 +16,7 @@ from collections.abc import (
     ValuesView,
 )
 from importlib.machinery import ModuleSpec
-from typing import Any, ClassVar, Literal, TypeVar, final, overload
+from typing import Any, ClassVar, Literal, TypeVar, _SpecialForm, final, overload
 from typing_extensions import ParamSpec, Self, TypeAliasType, TypeVarTuple, deprecated, disjoint_base
 
 if sys.version_info >= (3, 14):
@@ -717,10 +717,12 @@ if sys.version_info >= (3, 10):
         def __args__(self) -> tuple[Any, ...]: ...
         @property
         def __parameters__(self) -> tuple[Any, ...]: ...
-        def __or__(self, value: Any, /) -> UnionType: ...
-        def __ror__(self, value: Any, /) -> UnionType: ...
+        # the `Any` is because of underspecified binop semantics, when the rhs is a `_SpecialForm` it might result in a `_SpecialForm` (Union)
+        def __or__(self, value: Any, /) -> UnionType | type | Any: ...
+        def __ror__(self, value: Any, /) -> UnionType | type | Any: ...
         def __eq__(self, value: object, /) -> bool: ...
         def __hash__(self) -> int: ...
+        def __getitem__(self, parameters: Any) -> object: ...
 
 if sys.version_info >= (3, 13):
     @final