Update mypy to 1.4.1

docs/pages/contrib/mypy_plugins.rst

@@ -58,6 +58,7 @@ Supported features
   with ``flow`` function
 - ``pipe`` feature allows to write better typed functional pipelines
   with ``pipe`` function
+- ``do-notation`` feature allows using :ref:`do-notation`
 
 
 Further reading

pyproject.toml

@@ -55,7 +55,7 @@ trio = "^0.22"
 attrs = "^23.1"
 httpx = "^0.24"
 
-mypy = "==1.3.0"
+mypy = "^1.4"
 wemake-python-styleguide = "^0.17"
 flake8-pytest-style = "^1.6"
 flake8-pyi = "^23.4"

returns/contrib/mypy/_typeops/inference.py

@@ -78,7 +78,7 @@ def _infer_constraints(
             [arg.name for arg in applied_args],
             self._fallback.arg_kinds,
             self._fallback.arg_names,
-            lambda index: checker.accept(exprs[index]),  # type: ignore
+            lambda index: checker.accept(exprs[index]),
         )
         constraints = infer_constraints_for_callable(
             self._fallback,

returns/contrib/mypy/_typeops/transform_callable.py

@@ -2,9 +2,9 @@
 
 from mypy.nodes import ARG_OPT, ARG_POS, ARG_STAR, ARG_STAR2, ArgKind
 from mypy.typeops import get_type_vars
-from mypy.types import CallableType, FunctionLike, Overloaded
+from mypy.types import AnyType, CallableType, FunctionLike, Overloaded
 from mypy.types import Type as MypyType
-from mypy.types import TypeVarType
+from mypy.types import TypeOfAny, TypeVarType
 from typing_extensions import final
 
 from returns.contrib.mypy._structures.args import FuncArg
@@ -183,6 +183,7 @@ def detach_callable(typ: CallableType) -> CallableType:  # noqa: C901, WPS210
                 values=var.values,
                 upper_bound=var.upper_bound,
                 variance=var.variance,
+                default=AnyType(TypeOfAny.from_omitted_generics),
             ),
         )
 

setup.cfg

@@ -198,6 +198,10 @@ warn_return_any = True
 warn_unused_configs = True
 warn_unreachable = True
 
+# TODO: update our output assertions to match a new syntax
+force_uppercase_builtins = true
+force_union_syntax = true
+
 # We need this to debug `mypy` plugin:
 show_traceback = True
 

tests/test_result/test_result_equality.py

@@ -40,8 +40,8 @@ def test_is_compare():
     left = Failure(1)
     right = Success(1)
 
-    assert left.bind(lambda state: state) is left  # type: ignore
-    assert right.lash(lambda state: state) is right  # type: ignore
+    assert left.bind(lambda state: state) is left
+    assert right.lash(lambda state: state) is right
     assert right is not Success(1)
 
 

typesafety/test_pointfree/test_modify_env2.yml

@@ -42,29 +42,19 @@
 
 - case: modify_env2_requires_context
   disable_cache: false
-  skip: sys.version_info[:2] < (3, 8)
   main: |
     from returns.pointfree import modify_env2
     from returns.context import RequiresContext
 
-    x: RequiresContext[float, int]
-    reveal_type(modify_env2(int)(x))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.float, Union[builtins.str, builtins.bytes, builtins.bytearray, builtins.memoryview, array.array[Any], mmap.mmap, ctypes._CData, pickle.PickleBuffer, typing.SupportsInt, typing_extensions.SupportsIndex, _typeshed.SupportsTrunc]]"
+    class A: ...
+    def mod(arg: A) -> bool: ...
 
-
-- case: modify_env2_requires_context_py37
-  disable_cache: false
-  skip: sys.version_info[:2] >= (3, 8)
-  main: |
-    from returns.pointfree import modify_env2
-    from returns.context import RequiresContext
-
-    x: RequiresContext[float, int]
-    reveal_type(modify_env2(int)(x))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.float, Union[builtins.str, builtins.bytes, builtins.bytearray, builtins.memoryview, array.array[Any], mmap.mmap, ctypes._CData, typing.SupportsInt, typing_extensions.SupportsIndex, _typeshed.SupportsTrunc]]"
+    x: RequiresContext[float, bool]
+    reveal_type(modify_env2(mod)(x))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.float, main.A]"
 
 
 - case: modify_env2_custom_type
   disable_cache: false
-  skip: sys.version_info[:2] < (3, 8)
   main: |
     from typing import TypeVar
     from returns.interfaces.specific.reader import ReaderBased2
@@ -80,27 +70,8 @@
     ):
         ...
 
-    x: MyClass[float, int]
-    reveal_type(modify_env2(int)(x))  # N: Revealed type is "main.MyClass[builtins.float, Union[builtins.str, builtins.bytes, builtins.bytearray, builtins.memoryview, array.array[Any], mmap.mmap, ctypes._CData, pickle.PickleBuffer, typing.SupportsInt, typing_extensions.SupportsIndex, _typeshed.SupportsTrunc]]"
-
-
-- case: modify_env2_custom_type_py37
-  disable_cache: false
-  skip: sys.version_info[:2] >= (3, 8)
-  main: |
-    from typing import TypeVar
-    from returns.interfaces.specific.reader import ReaderBased2
-    from returns.primitives.hkt import SupportsKind2
-    from returns.pointfree import modify_env2
-
-    _EnvType = TypeVar('_EnvType')
-    _ReturnType = TypeVar('_ReturnType')
-
-    class MyClass(
-        SupportsKind2['MyClass', _ReturnType, _EnvType],
-        ReaderBased2[_ReturnType, _EnvType],
-    ):
-        ...
+    class A: ...
+    def mod(arg: A) -> bool: ...
 
-    x: MyClass[float, int]
-    reveal_type(modify_env2(int)(x))  # N: Revealed type is "main.MyClass[builtins.float, Union[builtins.str, builtins.bytes, builtins.bytearray, builtins.memoryview, array.array[Any], mmap.mmap, ctypes._CData, typing.SupportsInt, typing_extensions.SupportsIndex, _typeshed.SupportsTrunc]]"
+    x: MyClass[float, bool]
+    reveal_type(modify_env2(mod)(x))  # N: Revealed type is "main.MyClass[builtins.float, main.A]"