Merge pull request #40 from KotlinIsland/basedmypy-1.3

bump basedmypy to 1.3.0a1

Author: DetachHead

basedtyping/__init__.py

@@ -22,7 +22,7 @@
     from typing import _collect_type_vars, _tp_cache, _type_convert
 
 if TYPE_CHECKING:
-    Function = Callable[..., object]  # type: ignore[misc]
+    Function = Callable[..., object]  # type: ignore[dynamic]
     """Any ``Callable``. useful when using mypy with ``disallow-any-explicit``
     due to https://github.com/python/mypy/issues/9496
 
@@ -143,11 +143,11 @@ def _is_subclass(cls, subclass: object) -> TypeGuard[_ReifiedGenericMetaclass]:
         "origin" type (ie. without the generics) is a subclass of this reified generic
         """
         # could be any random instance, check it's a reified generic first:
-        return type.__instancecheck__(  # type: ignore[misc]
-            _ReifiedGenericMetaclass,  # type: ignore[misc]
+        return type.__instancecheck__(  # type: ignore[dynamic]
+            _ReifiedGenericMetaclass,  # type: ignore[dynamic]
             subclass,
             # then check that the instance is an instance of this particular reified generic:
-        ) and type.__subclasscheck__(  # type: ignore[misc]
+        ) and type.__subclasscheck__(  # type: ignore[dynamic]
             cls._orig_class(),
             # https://github.com/python/mypy/issues/11671
             cast(  # pylint:disable=protected-access
@@ -204,7 +204,7 @@ def __call__(cls, *args: object, **kwargs: object) -> object:
                 "foo = Foo[int]()  # correct"
             )
         cls._check_generics_reified()
-        return super().__call__(*args, **kwargs)  # type: ignore[misc]
+        return super().__call__(*args, **kwargs)  # type: ignore[dynamic]
 
 
 GenericItems = Union[type, TypeVar, tuple[type | TypeVar, ...]]
@@ -248,14 +248,14 @@ class ReifiedGeneric(Generic[T], metaclass=_ReifiedGenericMetaclass):
     __type_vars__: tuple[TypeVar, ...]
     """``TypeVar``\\s that have not yet been reified. so this tuple should always be empty by the time the ``ReifiedGeneric`` is instantiated"""
 
-    @_tp_cache  # type: ignore[name-defined,misc]
-    def __class_getitem__(  # type: ignore[misc]
+    @_tp_cache  # type: ignore[name-defined,dynamic,misc]
+    def __class_getitem__(  # type: ignore[dynamic]
         cls, item: GenericItems
     ) -> type[ReifiedGeneric[T]]:
         # when defining the generic (ie. `class Foo(ReifiedGeneric[T]):`) we want the normal behavior
         if cls is ReifiedGeneric:
             # https://github.com/KotlinIsland/basedtypeshed/issues/7
-            return super().__class_getitem__(item)  # type: ignore[misc,no-any-return]
+            return super().__class_getitem__(item)  # type: ignore[dynamic,misc,no-any-return]
 
         items = item if isinstance(item, tuple) else (item,)
 
@@ -265,7 +265,7 @@ def __class_getitem__(  # type: ignore[misc]
             for generic in (
                 cls.__reified_generics__ if hasattr(cls, "__reified_generics__") else ()
             )
-            if not isinstance(generic, TypeVar)  # type: ignore[misc]
+            if not isinstance(generic, TypeVar)  # type: ignore[dynamic]
         )
 
         # normal generics use __parameters__, we use __type_vars__ because the Generic base class deletes properties
@@ -295,10 +295,10 @@ def __class_getitem__(  # type: ignore[misc]
             # TODO: proper type
             dict[str, object](
                 __reified_generics__=tuple(
-                    _type_convert(t) for t in items  # type: ignore[name-defined,misc]
+                    _type_convert(t) for t in items  # type: ignore[name-defined,dynamic]
                 ),
                 _orig_type_vars=orig_type_vars,
-                __type_vars__=_collect_type_vars(  # type: ignore[name-defined,misc]
+                __type_vars__=_collect_type_vars(  # type: ignore[name-defined,dynamic]
                     items, cast(type, TypeVar)
                 ),
             ),

poetry.lock

@@ -13,7 +13,7 @@ python = "^3.10"
 [tool.poetry.dev-dependencies]
 black = "^21.12b0"
 flake8 = "^4.0.1"
-basedmypy = "^1.2.2"
+basedmypy = "^1.3.0a1"
 pylint = "^2.11.2"
 pytest = "^7.0.0rc1"
 isort = "^5.10.1"

pyproject.toml

@@ -34,4 +34,4 @@ def test_method_descriptor() -> None:
 
     def test_class_method_descriptor() -> None:
         # method signature contains `Any`
-        assert_function(dict.fromkeys)  # type: ignore[misc]
+        assert_function(dict.fromkeys)  # type: ignore[dynamic]

tests/test_function_type.py

@@ -13,4 +13,4 @@ class Reified2(ReifiedGeneric[tuple[T, U]]):
 
 def test_not_enough_type_params() -> None:
     with raises(NotEnoughTypeParametersError):
-        Reified2[int]()  # type: ignore[misc]
+        Reified2[int]()  # type: ignore[dynamic,misc]

tests/test_reified_generics/test_not_enough_type_params.py

@@ -25,11 +25,11 @@ class Normal(Generic[T, T2]):
 
 def test_class_args_and_params_class() -> None:
     assert (
-        Normal[int, str].__args__  # type: ignore[attr-defined,misc]
+        Normal[int, str].__args__  # type: ignore[attr-defined,dynamic]
         == Reified[int, str].__reified_generics__
     )
     assert (
-        Normal[int, str].__parameters__  # type: ignore[attr-defined,misc]
+        Normal[int, str].__parameters__  # type: ignore[attr-defined,dynamic]
         == Reified[int, str].__type_vars__
     )
 

tests/test_reified_generics/test_reified_generic.py

@@ -8,7 +8,7 @@ class Reified(ReifiedGeneric[T]):
     pass
 
 
-@fixture  # type: ignore[misc]
+@fixture  # type: ignore[dynamic]
 def _value() -> int:
     return 1