Issue 1193 (#1195)

* Bump mypy from 0.921 to 0.930

Bumps [mypy](https://github.com/python/mypy) from 0.921 to 0.930.
- [Release notes](https://github.com/python/mypy/releases)
- [Commits](python/mypy@v0.921...v0.930)

---
updated-dependencies:
- dependency-name: mypy
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

* Fix tests

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: 93578237

poetry.lock

@@ -65,7 +65,7 @@ trio = "^0.19"
 attrs = "^21.2"
 httpx = "^0.21"
 
-mypy = "^0.921"
+mypy = "^0.930"
 wemake-python-styleguide = "^0.16"
 flake8-pytest-style = "^1.6"
 flake8-pyi = "^20.10"

pyproject.toml

@@ -67,14 +67,14 @@
     reveal_type(zero(1, 2.0, 2.0))
   out: |
     main:7: error: No overload variant of "zero" matches argument type "str"
-    main:7: note: Possible overload variant:
+    main:7: note: Possible overload variants:
     main:7: note:     def zero(arg: int) -> Callable[..., str]
-    main:7: note:     <1 more non-matching overload not shown>
+    main:7: note:     def zero(arg: int, other: float) -> str
     main:7: note: Revealed type is "Any"
     main:8: error: No overload variant of "zero" matches argument types "float", "int"
-    main:8: note: Possible overload variant:
+    main:8: note: Possible overload variants:
+    main:8: note:     def zero(arg: int) -> Callable[..., str]
     main:8: note:     def zero(arg: int, other: float) -> str
-    main:8: note:     <1 more non-matching overload not shown>
     main:8: note: Revealed type is "Any"
     main:9: error: No overload variant of "zero" matches argument types "int", "float", "float"
     main:9: note: Possible overload variants:

typesafety/test_curry/test_curry/test_curry.yml

@@ -211,4 +211,4 @@
   main: |
     from returns.curry import partial
 
-    reveal_type(partial((lambda x, y: str(x + y)), 1))  # N: Revealed type is "def (Any) -> builtins.str"
+    reveal_type(partial((lambda x, y: str(x + y)), 1))  # N: Revealed type is "def (y: Any) -> builtins.str"

typesafety/test_curry/test_partial/test_partial_arguments.yml

@@ -47,7 +47,7 @@
     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, typing.SupportsInt, typing_extensions.SupportsIndex, builtins._SupportsTrunc]]"
+    reveal_type(modify_env2(int)(x))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.float, Union[builtins.str, builtins.bytes, typing.SupportsInt, typing_extensions.SupportsIndex, _typeshed.SupportsTrunc]]"
 
 
 - case: modify_env2_custom_type
@@ -68,4 +68,4 @@
         ...
 
     x: MyClass[float, int]
-    reveal_type(modify_env2(int)(x))  # N: Revealed type is "main.MyClass[builtins.float, Union[builtins.str, builtins.bytes, typing.SupportsInt, typing_extensions.SupportsIndex, builtins._SupportsTrunc]]"
+    reveal_type(modify_env2(int)(x))  # N: Revealed type is "main.MyClass[builtins.float, Union[builtins.str, builtins.bytes, typing.SupportsInt, typing_extensions.SupportsIndex, _typeshed.SupportsTrunc]]"