multiprocessing.Value.value needs to be defined

The following sample code:

import multiprocessing as mp
x = mp.Value( 'i', 0 )
print( f'{x.value=}' )
x.value = 1
print( f'{x.value=}' )

Produces this output when run:

x.value=0
x.value=1

But mypy complains:

mypy_bug_multiprocessing_value.py:3: error: "SynchronizedBase[Any]" has no attribute "value"  [attr-defined]
mypy_bug_multiprocessing_value.py:4: error: "SynchronizedBase[Any]" has no attribute "value"  [attr-defined]
mypy_bug_multiprocessing_value.py:5: error: "SynchronizedBase[Any]" has no attribute "value"  [attr-defined]

Python version: Python 3.10.9 (tags/v3.10.9:1dd9be6, Dec 6 2022, 20:01:21) [MSC v.1934 64 bit (AMD64)] on win32
mypy version: mypy==1.3.0

Bắt đầu bằng cách xác định stub typeshed cho multiprocessing.Value và định nghĩa SynchronizedBase được tham chiếu trong lỗi mypy. So sánh giao diện đã khai báo với các thao tác đọc .value và phép gán trong ví dụ, sau đó thêm hoặc cập nhật phần bao phủ stub liên quan cùng một kiểm tra hồi quy nếu repository có mẫu kiểm thử phù hợp. Hoàn tất khi ví dụ được kiểm tra kiểu mà không có lỗi attr-defined.