Update mypy to 1.16.0 (#14194)

Co-authored-by: Sebastian Rittau <[email protected]>
Co-authored-by: Alex Waygood <[email protected]>

Author: 3 people

requirements-tests.txt

@@ -1,6 +1,6 @@
 # Type checkers that we test our stubs against. These should always
 # be pinned to a specific version to make failure reproducible.
-mypy==1.15.0
+mypy==1.16.0
 pyright==1.1.400
 # pytype can be installed on Windows, but requires building wheels, let's not do that on the CI
 pytype==2024.10.11; platform_system != "Windows" and python_version >= "3.10" and python_version < "3.13"

stdlib/@tests/stubtest_allowlists/common.txt

@@ -210,6 +210,8 @@ _?ast.stmt.__init__
 
 _ast.ImportFrom.level  # None on the class, but never None on instances
 
+argparse.Namespace.__setattr__  # should allow setting any attribute
+
 ast.ImportFrom.level  # None on the class, but never None on instances
 ast.NodeVisitor.visit_\w+  # Methods are discovered dynamically, see #3796
 _?asyncio.Future.__init__  # Usually initialized from c object
@@ -272,7 +274,9 @@ _?ctypes.Array._length_  # _length_ is abstract, https://github.com/python/types
 _?ctypes.Array.raw  # exists but stubtest can't see it; only available if _CT == c_char
 ctypes.CDLL._FuncPtr  # None at class level but initialized in __init__ to this value
 _?ctypes.Structure.__getattr__  # doesn't exist, but makes things easy if we pretend it does
+_?ctypes.Structure.__setattr__  # doesn't exist, but makes things easy if we pretend it does
 _?ctypes.Union.__getattr__  # doesn't exist, but makes things easy if we pretend it does
+_?ctypes.Union.__setattr__  # doesn't exist, but makes things easy if we pretend it does
 
 # Iterable classes that don't define __iter__ at runtime (usually iterable via __getitem__)
 # These would ideally be special-cased by type checkers; see https://github.com/python/mypy/issues/2220
@@ -323,6 +327,8 @@ inspect.Signature.__init__
 inspect.Parameter.empty  # set as private marker _empty
 inspect.Signature.empty  # set as private marker _empty
 
+logging.LogRecord.__setattr__  # doesn't exist, but makes things easy if we pretend it does
+
 # Iterable classes that don't define __iter__ at runtime (usually iterable via __getitem__)
 # These would ideally be special-cased by type checkers; see https://github.com/python/mypy/issues/2220
 mmap.mmap.__iter__
@@ -380,7 +386,9 @@ multiprocessing.synchronize.SemLock.acquire
 multiprocessing.synchronize.SemLock.release
 
 numbers.Number.__hash__  # typeshed marks this as abstract but code just sets this as None
+
 optparse.Values.__getattr__  # Some attributes are set in __init__ using setattr
+optparse.Values.__setattr__  # doesn't exist, but makes things easy if we pretend it does
 
 os._wrap_close.read  # Methods that come from __getattr__() at runtime
 os._wrap_close.readable  # Methods that come from __getattr__() at runtime

stdlib/@tests/stubtest_allowlists/py312.txt

@@ -13,6 +13,10 @@ zoneinfo.ZoneInfo.from_file  # Pos-only parameters had different "names" in diff
 typing_extensions.TypeAliasType.__parameters__
 typing_extensions.TypeAliasType.__value__
 
+# Types that require `__setattr__` and `__delattr__` for typing purposes:
+types.SimpleNamespace.__setattr__
+types.SimpleNamespace.__delattr__
+
 
 # ====================================
 # Pre-existing errors from Python 3.11

stdlib/@tests/stubtest_allowlists/py313.txt

@@ -18,6 +18,10 @@ zoneinfo.ZoneInfo.from_file  # Pos-only parameters had different "names" in diff
 typing_extensions.TypeAliasType.__parameters__
 typing_extensions.TypeAliasType.__value__
 
+# Types that require `__setattr__` and `__delattr__` for typing purposes:
+types.SimpleNamespace.__setattr__
+types.SimpleNamespace.__delattr__
+
 
 # =======
 # >= 3.11

stdlib/@tests/stubtest_allowlists/py314.txt

@@ -55,6 +55,10 @@ functools.partialmethod.__new__
 
 zoneinfo.ZoneInfo.from_file  # Pos-only parameters had different "names" in different Python versions
 
+# Types that require `__setattr__` and `__delattr__` for typing purposes:
+types.SimpleNamespace.__setattr__
+types.SimpleNamespace.__delattr__
+
 
 # =======
 # >= 3.11
@@ -101,10 +105,6 @@ typing(_extensions)?\.IO\.writelines
 # Allowlist entries that cannot or should not be fixed; >= 3.14
 # =============================================================
 
-# Internal annotations machinery
-.*\.__annotate_func__
-.*\.__annotations_cache__
-
 # Undocumented private attributes
 .*\.ForwardRef\.__arg__
 .*\.ForwardRef\.__ast_node__

stubs/WTForms/@tests/stubtest_allowlist.txt

@@ -9,6 +9,14 @@ wtforms.fields.core.Field.__get__
 # to let mypy know that arbitrary attribute access is possible
 wtforms.meta.DefaultMeta.__getattr__
 
+# Should allow setting and deleting any attribute
+wtforms.Flags.__delattr__
+wtforms.Flags.__setattr__
+wtforms.fields.Flags.__delattr__
+wtforms.fields.Flags.__setattr__
+wtforms.fields.core.Flags.__delattr__
+wtforms.fields.core.Flags.__setattr__
+
 # Error: variable differs from runtime
 # ======================
 # _unbound_fields has some weird semantics: due to the metaclass it

stubs/openpyxl/@tests/test_cases/check_base_descriptors.py

@@ -177,27 +177,27 @@ class WithDescriptorsStrict(Strict):
 assert_type(with_descriptors.match_pattern_bytes, ReadableBuffer)
 assert_type(with_descriptors.match_pattern_bytes_none, Union[ReadableBuffer, None])
 
-assert_type(with_descriptors.convertible_not_none, int)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.convertible_not_none, int)
 assert_type(with_descriptors.convertible_none, Union[int, None])
 
-assert_type(with_descriptors.minmax_float, float)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.minmax_float, float)
 assert_type(with_descriptors.minmax_float_none, Union[float, None])
-assert_type(with_descriptors.minmax_int, int)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.minmax_int, int)
 assert_type(with_descriptors.minmax_int_none, Union[int, None])
 
-assert_type(with_descriptors.bool_not_none, bool)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.bool_not_none, bool)
 assert_type(with_descriptors.bool_none, Union[bool, None])
 
-assert_type(with_descriptors.datetime_not_none, datetime)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.datetime_not_none, datetime)
 assert_type(with_descriptors.datetime_none, Union[datetime, None])
 
-assert_type(with_descriptors.string_not_none, str)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.string_not_none, str)
 assert_type(with_descriptors.string_none, Union[str, None])
 
-assert_type(with_descriptors.float_not_none, float)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.float_not_none, float)
 assert_type(with_descriptors.float_none, Union[float, None])
 
-assert_type(with_descriptors.integer_not_none, int)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.integer_not_none, int)
 assert_type(with_descriptors.integer_none, Union[int, None])
 
 
@@ -289,8 +289,8 @@ class WithDescriptorsStrict(Strict):
 
 with_descriptors.convertible_not_none = 0
 with_descriptors.convertible_not_none = "0"
-with_descriptors.convertible_not_none = None  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-with_descriptors.convertible_not_none = object()  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
+with_descriptors.convertible_not_none = None  # type: ignore
+with_descriptors.convertible_not_none = object()  # type: ignore
 
 with_descriptors.convertible_none = 0
 with_descriptors.convertible_none = "0"
@@ -301,7 +301,7 @@ class WithDescriptorsStrict(Strict):
 with_descriptors.minmax_float = 0
 with_descriptors.minmax_float = "0"
 with_descriptors.minmax_float = 0.0
-with_descriptors.minmax_float = None  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
+with_descriptors.minmax_float = None  # type: ignore
 with_descriptors.minmax_float = object()  # type: ignore
 
 with_descriptors.minmax_float_none = 0
@@ -313,7 +313,7 @@ class WithDescriptorsStrict(Strict):
 with_descriptors.minmax_int = 0
 with_descriptors.minmax_int = "0"
 with_descriptors.minmax_int = 0.0
-with_descriptors.minmax_int = None  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
+with_descriptors.minmax_int = None  # type: ignore
 with_descriptors.minmax_int = object()  # type: ignore
 
 with_descriptors.minmax_int_none = 0
@@ -354,7 +354,7 @@ class WithDescriptorsStrict(Strict):
 
 
 with_descriptors.string_not_none = ""
-with_descriptors.string_not_none = None  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
+with_descriptors.string_not_none = None  # type: ignore
 with_descriptors.string_not_none = 0  # type: ignore
 
 with_descriptors.string_none = ""
@@ -366,8 +366,8 @@ class WithDescriptorsStrict(Strict):
 with_descriptors.float_not_none = 0.0
 with_descriptors.float_not_none = "0"
 with_descriptors.float_not_none = b"0"
-with_descriptors.float_not_none = None  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-with_descriptors.float_not_none = object()  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
+with_descriptors.float_not_none = None  # type: ignore
+with_descriptors.float_not_none = object()  # type: ignore
 
 with_descriptors.float_none = 0
 with_descriptors.float_none = 0.0
@@ -381,8 +381,8 @@ class WithDescriptorsStrict(Strict):
 with_descriptors.integer_not_none = 0.0
 with_descriptors.integer_not_none = "0"
 with_descriptors.integer_not_none = b"0"
-with_descriptors.integer_not_none = None  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-with_descriptors.integer_not_none = object()  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
+with_descriptors.integer_not_none = None  # type: ignore
+with_descriptors.integer_not_none = object()  # type: ignore
 
 with_descriptors.integer_none = 0
 with_descriptors.integer_none = 0.0

stubs/openpyxl/@tests/test_cases/check_nested_descriptors.py

@@ -167,19 +167,19 @@ class WithDescriptorsStrict(Strict):
 assert_type(with_descriptors.minmax_int, int)
 assert_type(with_descriptors.minmax_int_none, Union[int, None])
 
-assert_type(with_descriptors.bool_not_none, bool)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.bool_not_none, bool)
 assert_type(with_descriptors.bool_none, Union[bool, None])
 
 assert_type(with_descriptors.emptytag_not_none, bool)
 assert_type(with_descriptors.emptytag_none, Union[bool, None])
 
-assert_type(with_descriptors.string_not_none, str)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.string_not_none, str)
 assert_type(with_descriptors.string_none, Union[str, None])
 
-assert_type(with_descriptors.float_not_none, float)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.float_not_none, float)
 assert_type(with_descriptors.float_none, Union[float, None])
 
-assert_type(with_descriptors.integer_not_none, int)  # type: ignore[assert-type]  # False-positive in mypy
+assert_type(with_descriptors.integer_not_none, int)
 assert_type(with_descriptors.integer_none, Union[int, None])
 
 
@@ -264,15 +264,11 @@ class WithDescriptorsStrict(Strict):
 
 with_descriptors.convertible_not_none = 0
 with_descriptors.convertible_not_none = "0"
-with_descriptors.convertible_not_none = None  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-with_descriptors.convertible_not_none = object()  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
+with_descriptors.convertible_not_none = None  # type: ignore
+with_descriptors.convertible_not_none = object()  # type: ignore
 with_descriptors.convertible_not_none = cast(_HasTagAndGet[str], _)
-with_descriptors.convertible_not_none = cast(  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-    _HasTagAndGet[None], _
-)
-with_descriptors.convertible_not_none = cast(  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-    _HasTagAndGet[object], _
-)
+with_descriptors.convertible_not_none = cast(_HasTagAndGet[None], _)  # type: ignore
+with_descriptors.convertible_not_none = cast(_HasTagAndGet[object], _)  # type: ignore
 
 with_descriptors.convertible_none = 0
 with_descriptors.convertible_none = "0"
@@ -426,15 +422,11 @@ class WithDescriptorsStrict(Strict):
 with_descriptors.float_not_none = 0.0
 with_descriptors.float_not_none = "0"
 with_descriptors.float_not_none = b"0"
-with_descriptors.float_not_none = None  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-with_descriptors.float_not_none = object()  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
+with_descriptors.float_not_none = None  # type: ignore
+with_descriptors.float_not_none = object()  # type: ignore
 with_descriptors.float_not_none = cast(_HasTagAndGet[float], _)
-with_descriptors.float_not_none = cast(  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-    _HasTagAndGet[None], _
-)
-with_descriptors.float_not_none = cast(  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-    _HasTagAndGet[object], _
-)
+with_descriptors.float_not_none = cast(_HasTagAndGet[None], _)  # type: ignore
+with_descriptors.float_not_none = cast(_HasTagAndGet[object], _)  # type: ignore
 
 with_descriptors.float_none = 0
 with_descriptors.float_none = 0.0
@@ -451,15 +443,11 @@ class WithDescriptorsStrict(Strict):
 with_descriptors.integer_not_none = 0.0
 with_descriptors.integer_not_none = "0"
 with_descriptors.integer_not_none = b"0"
-with_descriptors.integer_not_none = None  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-with_descriptors.integer_not_none = object()  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
+with_descriptors.integer_not_none = None  # type: ignore
+with_descriptors.integer_not_none = object()  # type: ignore
 with_descriptors.integer_not_none = cast(_HasTagAndGet[int], _)
-with_descriptors.integer_not_none = cast(  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-    _HasTagAndGet[None], _
-)
-with_descriptors.integer_not_none = cast(  # pyright: ignore[reportAttributeAccessIssue] # false negative in mypy
-    _HasTagAndGet[object], _
-)
+with_descriptors.integer_not_none = cast(_HasTagAndGet[None], _)  # type: ignore
+with_descriptors.integer_not_none = cast(_HasTagAndGet[object], _)  # type: ignore
 
 with_descriptors.integer_none = 0
 with_descriptors.integer_none = 0.0

stubs/passlib/@tests/stubtest_allowlist.txt

@@ -38,10 +38,7 @@ passlib.utils.handlers.HasRounds.rounds
 # Errors in `__all__` at runtime:
 # TODO: change after https://github.com/python/mypy/pull/14217 is released
 passlib.handlers.oracle.__all__
-passlib.handlers.oracle.oracle11g
-passlib.handlers.oracle.oracle10g
 passlib.handlers.mysql.__all__
-passlib.handlers.mysql.mysq41
 
 # Compat tools are ignored:
 passlib.utils.compat.*

stubs/python-xlib/@tests/stubtest_allowlist.txt

@@ -12,6 +12,9 @@ Xlib.protocol.rq.DictWrapper.__lt__
 Xlib.protocol.rq.Event.__gt__
 Xlib.protocol.rq.Event.__lt__
 
+# should allow setting any attribute
+Xlib.protocol.rq.GetAttrData.__setattr__
+
 # Can be None or str once instantiated
 Xlib.protocol.rq.*.structcode
 # Should only ever be str once instantiated