fix type errors in tests from new basedmypy version

Author: DetachHead

tests/test_never_type/test_runtime.py

@@ -14,15 +14,15 @@ def test_isinstance() -> None:
 
 
 def test_issubform_true() -> None:
-    assert issubform(Never, int)  # type: ignore[arg-type]
+    assert issubform(Never, int)
 
 
 def test_issubform_false() -> None:
-    assert not issubform(str, Never)  # type: ignore[arg-type]
+    assert not issubform(str, Never)
 
 
 def test_issubform_never_is_never() -> None:
-    assert issubform(Never, Never)  # type: ignore[arg-type]
+    assert issubform(Never, Never)
 
 
 def test_issubclass() -> None:

tests/test_reified_generics/test_issubclass.py

@@ -33,7 +33,8 @@ def test_without_generics_first_arg_false() -> None:
 
 @mark.xfail(reason="not implemented")
 def test_without_generics_first_arg_true() -> None:
-    class Foo(ReifiedGeneric[T_co]):
+    # https://github.com/KotlinIsland/basedtyping/issues/70
+    class Foo(ReifiedGeneric[T_co]):  # type:ignore[type-var]
         pass
 
     assert not issubclass(Foo, Foo[object])  # type: ignore[misc]

tests/test_reified_generics/test_not_enough_type_params.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[no-any-expr,misc]
+        Reified2[int]()  # type: ignore[misc]

tests/test_reified_generics/test_reified_generic.py

@@ -76,4 +76,8 @@ class SubASpecified(A[int]):
 
 
 def test_none_type() -> None:
-    assert Reified[None, None].__reified_generics__ == (NoneType, NoneType)
+    # TODO: is this mypy error correct?
+    assert Reified[None, None].__reified_generics__ == (
+        NoneType,
+        NoneType,
+    )  # type:ignore[comparison-overlap]

tests/test_reified_generics/test_typevars.py

@@ -23,12 +23,12 @@ def test_isinstance(_value: T) -> None:
         isinstance(Reified[str](), Reified[T])  # type: ignore[misc]
 
 
-def test_unbound_instantiate() -> None:
+def test_unbound_instantiate(_value: T) -> None:
     with raises(NotReifiedError):
         Reified[T]()
 
 
-def test_unbound_isinstance() -> None:
+def test_unbound_isinstance(_value: T) -> None:
     with raises(NotReifiedError):
         isinstance(Reified[str](), Reified[T])  # type: ignore[misc]