Issue 1181 (#1182)

* chore: Bump mypy==0.920

* Resolve issue-1181

* Bump mypy==0.920

* Dont pin mypy

* Update pytest-mypy-plugins

Author: q0w

docs/requirements.txt

@@ -13,7 +13,7 @@ pygments==2.10.0
 
 # Dependencies of our project:
 typing-extensions==4.0.1
-mypy==0.910
+mypy==0.920
 pytest==6.2.5
 hypothesis==6.31.6
 

poetry.lock

@@ -65,7 +65,7 @@ trio = "^0.19"
 attrs = "^21.2"
 httpx = "^0.21"
 
-mypy = "^0.910"
+mypy = "^0.920"
 wemake-python-styleguide = "^0.16"
 flake8-pytest-style = "^1.5"
 flake8-pyi = "^20.10"
@@ -79,7 +79,7 @@ safety = "^1.10"
 pytest = "^6.2"
 pytest-cov = "^3.0"
 pytest-randomly = "^3.10"
-pytest-mypy-plugins = "^1.9"
+pytest-mypy-plugins = "^1.9.2"
 pytest-subtests = "^0.5"
 pytest-xdist = "^2.5"
 hypothesis = "^6.31"

pyproject.toml

@@ -154,7 +154,7 @@ def _build_overloads_from_argtree(self, argtree: _ArgTree) -> None:
                 ) and ret_type.type_of_any == TypeOfAny.implementation_artifact
                 argtree.case = Intermediate(argtree.case).with_ret_type(
                     child.case if temp_any else Overloaded(
-                        [child.case, *cast(FunctionLike, ret_type).items()],
+                        [child.case, *cast(FunctionLike, ret_type).items],
                     ),
                 )
             else:  # Root is reached, we need to save the result:

returns/contrib/mypy/_features/curry.py

@@ -127,7 +127,7 @@ def new_partial(self) -> MypyType:
         where each overloaded spec is processed inducidually.
         Then we combine everything back together removing unfit parts.
         """
-        for case_function in self._original.items():
+        for case_function in self._original.items:
             fallback, intermediate = self._create_intermediate(case_function)
             self._fallbacks.append(fallback)
 

returns/contrib/mypy/_features/partial.py

@@ -110,7 +110,7 @@ def _unify_type(
 ) -> MypyType:
     return UnionType.make_union([
         fetch_type(case)
-        for case in function.items()
+        for case in function.items
     ])
 
 

returns/contrib/mypy/_features/pipe.py

@@ -1,7 +1,7 @@
 from collections import namedtuple
 from typing import List, Optional
 
-from mypy.nodes import Context, TempNode
+from mypy.nodes import ArgKind, Context, TempNode
 from mypy.types import CallableType
 from mypy.types import Type as MypyType
 from typing_extensions import final
@@ -16,7 +16,7 @@ class FuncArg(_FuncArgStruct):
 
     name: Optional[str]
     type: MypyType  # noqa: WPS125
-    kind: int
+    kind: ArgKind
 
     def expression(self, context: Context) -> TempNode:
         """Hack to pass unexisting `Expression` to typechecker."""

returns/contrib/mypy/_structures/args.py

@@ -88,11 +88,10 @@ def safe_translate_to_function(
     This function also resolves all type arguments.
     """
     checker = ctx.api.expr_checker  # type: ignore
-    checker.msg.disable_errors()
-    _return_type, function_def = checker.check_call(
-        function_def, [], [], ctx.context, [],
-    )
-    checker.msg.enable_errors()
+    with checker.msg.disable_errors():
+        _return_type, function_def = checker.check_call(
+            function_def, [], [], ctx.context, [],
+        )
     return function_def
 
 

returns/contrib/mypy/_typeops/analtype.py

@@ -3,7 +3,7 @@
 from mypy.argmap import map_actuals_to_formals
 from mypy.constraints import infer_constraints_for_callable
 from mypy.expandtype import expand_type
-from mypy.nodes import ARG_POS
+from mypy.nodes import ARG_POS, ArgKind
 from mypy.plugin import FunctionContext
 from mypy.types import CallableType, FunctionLike
 from mypy.types import Type as MypyType
@@ -86,6 +86,7 @@ def _infer_constraints(
             [arg.type for arg in applied_args],
             kinds,
             formal_to_actual,
+            checker.argument_infer_context(),
         )
         return {
             constraint.type_var: constraint.target
@@ -109,7 +110,7 @@ def __init__(self, instance: MypyType) -> None:
     def from_callable_sequence(
         self,
         pipeline_types: Tuple[MypyType, ...],
-        pipeline_kinds: List[int],
+        pipeline_kinds: List[ArgKind],
         ctx: CallableContext,
     ) -> MypyType:
         """Pass pipeline functions to infer them one by one."""

returns/contrib/mypy/_typeops/inference.py

@@ -1,7 +1,7 @@
 from typing import ClassVar, FrozenSet, List
 
 from mypy.checker import detach_callable
-from mypy.nodes import ARG_OPT, ARG_POS, ARG_STAR, ARG_STAR2
+from mypy.nodes import ARG_OPT, ARG_POS, ARG_STAR, ARG_STAR2, ArgKind
 from mypy.types import CallableType, FunctionLike, Overloaded
 from mypy.types import Type as MypyType
 from typing_extensions import final
@@ -28,7 +28,7 @@ class Intermediate(object):
     """
 
     #: Positional arguments can be of this kind.
-    _positional_kinds: ClassVar[FrozenSet[int]] = frozenset((
+    _positional_kinds: ClassVar[FrozenSet[ArgKind]] = frozenset((
         ARG_POS,
         ARG_OPT,
         ARG_STAR,