multiprocessing: make some overloads more precise (#8330)

See discussion here: #4266 (comment)

Co-authored-by: hauntsaninja <>

Author: hauntsaninja

stdlib/multiprocessing/context.pyi

@@ -76,20 +76,20 @@ class BaseContext:
     @overload
     def Value(self, typecode_or_type: type[_CT], *args: Any, lock: Literal[False]) -> _CT: ...
     @overload
-    def Value(self, typecode_or_type: type[_CT], *args: Any, lock: Literal[True] | _LockLike) -> SynchronizedBase[_CT]: ...
+    def Value(self, typecode_or_type: type[_CT], *args: Any, lock: Literal[True] | _LockLike = ...) -> SynchronizedBase[_CT]: ...
     @overload
-    def Value(self, typecode_or_type: str, *args: Any, lock: Literal[True] | _LockLike) -> SynchronizedBase[Any]: ...
+    def Value(self, typecode_or_type: str, *args: Any, lock: Literal[True] | _LockLike = ...) -> SynchronizedBase[Any]: ...
     @overload
     def Value(self, typecode_or_type: str | type[_CData], *args: Any, lock: bool | _LockLike = ...) -> Any: ...
     @overload
     def Array(self, typecode_or_type: type[_CT], size_or_initializer: int | Sequence[Any], *, lock: Literal[False]) -> _CT: ...
     @overload
     def Array(
-        self, typecode_or_type: type[_CT], size_or_initializer: int | Sequence[Any], *, lock: Literal[True] | _LockLike
+        self, typecode_or_type: type[_CT], size_or_initializer: int | Sequence[Any], *, lock: Literal[True] | _LockLike = ...
     ) -> SynchronizedArray[_CT]: ...
     @overload
     def Array(
-        self, typecode_or_type: str, size_or_initializer: int | Sequence[Any], *, lock: Literal[True] | _LockLike
+        self, typecode_or_type: str, size_or_initializer: int | Sequence[Any], *, lock: Literal[True] | _LockLike = ...
     ) -> SynchronizedArray[Any]: ...
     @overload
     def Array(

stdlib/multiprocessing/sharedctypes.pyi

@@ -24,11 +24,11 @@ def RawArray(typecode_or_type: str, size_or_initializer: int | Sequence[Any]) ->
 def Value(typecode_or_type: type[_CT], *args: Any, lock: Literal[False], ctx: BaseContext | None = ...) -> _CT: ...
 @overload
 def Value(
-    typecode_or_type: type[_CT], *args: Any, lock: Literal[True] | _LockLike, ctx: BaseContext | None = ...
+    typecode_or_type: type[_CT], *args: Any, lock: Literal[True] | _LockLike = ..., ctx: BaseContext | None = ...
 ) -> SynchronizedBase[_CT]: ...
 @overload
 def Value(
-    typecode_or_type: str, *args: Any, lock: Literal[True] | _LockLike, ctx: BaseContext | None = ...
+    typecode_or_type: str, *args: Any, lock: Literal[True] | _LockLike = ..., ctx: BaseContext | None = ...
 ) -> SynchronizedBase[Any]: ...
 @overload
 def Value(
@@ -43,15 +43,15 @@ def Array(
     typecode_or_type: type[_CT],
     size_or_initializer: int | Sequence[Any],
     *,
-    lock: Literal[True] | _LockLike,
+    lock: Literal[True] | _LockLike = ...,
     ctx: BaseContext | None = ...,
 ) -> SynchronizedArray[_CT]: ...
 @overload
 def Array(
     typecode_or_type: str,
     size_or_initializer: int | Sequence[Any],
     *,
-    lock: Literal[True] | _LockLike,
+    lock: Literal[True] | _LockLike = ...,
     ctx: BaseContext | None = ...,
 ) -> SynchronizedArray[Any]: ...
 @overload