Bumps mypy from 0.812 to 0.902 (#977)

dry-python · Jun 18, 2021 · 964479d · 964479d
1 parent 4ed74fd
commit 964479d
Show file tree

Hide file tree

Showing 135 changed files with 826 additions and 871 deletions.
diff --git a/poetry.lock b/poetry.lock
diff --git a/pyproject.toml b/pyproject.toml
@@ -65,7 +65,7 @@ trio = "^0.19"
 attrs = "^21.2"
 httpx = "^0.18"
 
-mypy = "^0.812"
+mypy = "^0.902"
 wemake-python-styleguide = "^0.15"
 flake8-pytest-style = "^1.4"
 flake8-pyi = "^20.10"

diff --git a/typesafety/test_context/test_requires_context/test_context.yml b/typesafety/test_context/test_requires_context/test_context.yml
@@ -3,23 +3,23 @@
   main: |
     from returns.context import RequiresContext
 
-    reveal_type(RequiresContext.ask())  # N: Revealed type is 'returns.context.requires_context.RequiresContext[<nothing>, <nothing>]'
+    reveal_type(RequiresContext.ask())  # N: Revealed type is "returns.context.requires_context.RequiresContext[<nothing>, <nothing>]"
 
 
 - case: context_ask2
   disable_cache: false
   main: |
     from returns.context import RequiresContext
 
-    reveal_type(RequiresContext[int, str].ask())  # N: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.str*, builtins.str*]'
+    reveal_type(RequiresContext[int, str].ask())  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.str*, builtins.str*]"
 
 
 - case: requires_context_from_value
   disable_cache: false
   main: |
     from returns.context import RequiresContext
 
-    reveal_type(RequiresContext.from_value(1))  # N: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.int*, Any]'
+    reveal_type(RequiresContext.from_value(1))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.int*, Any]"
 
 
 - case: requires_context_from_context
@@ -28,4 +28,4 @@
     from returns.context import RequiresContext
 
     x: RequiresContext[int, str]
-    reveal_type(RequiresContext.from_context(x))  # N: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.int*, builtins.str*]'
+    reveal_type(RequiresContext.from_context(x))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.int*, builtins.str*]"
diff --git a/typesafety/test_context/test_requires_context/test_requires_context_cast.yml b/typesafety/test_context/test_requires_context/test_requires_context_cast.yml
@@ -6,7 +6,7 @@
     first: RequiresContext[TypeError, int]  # we can only cast return type
     second: RequiresContext[Exception, int] = first
 
-    reveal_type(second)  # N: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.Exception, builtins.int]'
+    reveal_type(second)  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.Exception, builtins.int]"
 
 
 - case: context_wrong_cast
@@ -47,6 +47,6 @@
     reveal_type(func().bind(third))
   out: |
     main:21: error: Argument 1 to "bind" of "RequiresContext" has incompatible type "Callable[[int], RequiresContext[int, A]]"; expected "Callable[[int], KindN[RequiresContext[Any, Any], int, B, Any]]"
-    main:21: note: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.int*, main.B]'
+    main:21: note: Revealed type is "returns.context.requires_context.RequiresContext[builtins.int*, main.B]"
     main:22: error: Argument 1 to "bind" of "RequiresContext" has incompatible type "Callable[[int], RequiresContext[int, C]]"; expected "Callable[[int], KindN[RequiresContext[Any, Any], int, B, Any]]"
-    main:22: note: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.int*, main.B]'
+    main:22: note: Revealed type is "returns.context.requires_context.RequiresContext[builtins.int*, main.B]"
diff --git a/typesafety/test_context/test_requires_context/test_requires_context_type.yml b/typesafety/test_context/test_requires_context/test_requires_context_type.yml
@@ -5,7 +5,7 @@
 
     first: RequiresContext[str, int]
 
-    reveal_type(first(1))  # N: Revealed type is 'builtins.str*'
+    reveal_type(first(1))  # N: Revealed type is "builtins.str*"
 
 
 - case: requires_context_getattr
@@ -24,7 +24,7 @@
 
     first: RequiresContext[str, int]
 
-    reveal_type(first.map(lambda char: float(char)))  # N: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.float*, builtins.int]'
+    reveal_type(first.map(lambda char: float(char)))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.float*, builtins.int]"
 
 
 - case: requires_context_apply_correct
@@ -36,7 +36,7 @@
     first: RequiresContext[str, int]
     second: RequiresContext[Callable[[str], float], int]
 
-    reveal_type(first.apply(second))  # N: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.float*, builtins.int]'
+    reveal_type(first.apply(second))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.float*, builtins.int]"
 
 
 - case: requires_context_bind_correct
@@ -49,7 +49,7 @@
     def function(arg: str) -> RequiresContext[float, int]:
         return RequiresContext.from_value(1.5)
 
-    reveal_type(first.bind(function))  # N: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.float*, builtins.int]'
+    reveal_type(first.bind(function))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.float*, builtins.int]"
 
 
 - case: requires_context_bind_context_correct
@@ -62,7 +62,7 @@
     def function(arg: str) -> RequiresContext[float, int]:
         return RequiresContext.from_value(1.5)
 
-    reveal_type(first.bind_context(function))  # N: Revealed type is 'returns.context.requires_context.RequiresContext[builtins.float*, builtins.int]'
+    reveal_type(first.bind_context(function))  # N: Revealed type is "returns.context.requires_context.RequiresContext[builtins.float*, builtins.int]"
 
 
 - case: requires_context_modify_env
@@ -71,7 +71,7 @@
     from returns.context import RequiresContext
 
     first: RequiresContext[float, int]
-    reveal_type(first.modify_env(int)('1'))  # N: Revealed type is 'builtins.float*'
+    reveal_type(first.modify_env(int)('1'))  # N: Revealed type is "builtins.float*"
 
 
 - case: requires_context_call_wrong

diff --git a/typesafety/test_context/test_requires_context/test_requires_context_typecast.yml b/typesafety/test_context/test_requires_context/test_requires_context_typecast.yml
@@ -6,7 +6,7 @@
 
     x: RequiresContextIOResult[int, float, str]
 
-    reveal_type(RequiresContext.from_requires_context_ioresult(x))  # N: Revealed type is 'returns.context.requires_context.RequiresContext[returns.io.IOResult[builtins.int*, builtins.float*], builtins.str*]'
+    reveal_type(RequiresContext.from_requires_context_ioresult(x))  # N: Revealed type is "returns.context.requires_context.RequiresContext[returns.io.IOResult[builtins.int*, builtins.float*], builtins.str*]"
 
 
 - case: requires_context_from_requires_context_result
@@ -17,7 +17,7 @@
 
     x: RequiresContextResult[int, float, str]
 
-    reveal_type(RequiresContext.from_requires_context_result(x))  # N: Revealed type is 'returns.context.requires_context.RequiresContext[returns.result.Result[builtins.int*, builtins.float*], builtins.str*]'
+    reveal_type(RequiresContext.from_requires_context_result(x))  # N: Revealed type is "returns.context.requires_context.RequiresContext[returns.result.Result[builtins.int*, builtins.float*], builtins.str*]"
 
 
 - case: requires_context_from_requires_context_future_result
@@ -28,4 +28,4 @@
 
     x: RequiresContextFutureResult[int, float, str]
 
-    reveal_type(RequiresContext.from_requires_context_future_result(x))  # N: Revealed type is 'returns.context.requires_context.RequiresContext[returns.future.FutureResult[builtins.int*, builtins.float*], builtins.str*]'
+    reveal_type(RequiresContext.from_requires_context_future_result(x))  # N: Revealed type is "returns.context.requires_context.RequiresContext[returns.future.FutureResult[builtins.int*, builtins.float*], builtins.str*]"
diff --git a/typesafety/test_context/test_requires_context_future_result/test_context_future_result.yml b/typesafety/test_context/test_requires_context_future_result/test_context_future_result.yml
@@ -3,12 +3,12 @@
   main: |
     from returns.context import RequiresContextFutureResult
 
-    reveal_type(RequiresContextFutureResult.ask())  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[<nothing>, <nothing>, <nothing>]'
+    reveal_type(RequiresContextFutureResult.ask())  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[<nothing>, <nothing>, <nothing>]"
 
 
 - case: context_result_future_ask2
   disable_cache: false
   main: |
     from returns.context import RequiresContextFutureResult
 
-    reveal_type(RequiresContextFutureResult[int, bool, str].ask())  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.str*, builtins.bool*, builtins.str*]'
+    reveal_type(RequiresContextFutureResult[int, bool, str].ask())  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.str*, builtins.bool*, builtins.str*]"
diff --git a/.../test_context/test_requires_context_future_result/test_requires_context_future_result.yml b/.../test_context/test_requires_context_future_result/test_requires_context_future_result.yml
@@ -5,7 +5,7 @@
 
     x: RequiresContextFutureResult[int, float, str]
 
-    reveal_type(x('a'))  # N: Revealed type is 'returns.future.FutureResult[builtins.int*, builtins.float*]'
+    reveal_type(x('a'))  # N: Revealed type is "returns.future.FutureResult[builtins.int*, builtins.float*]"
 
 
 - case: requires_context_future_result_getattr
@@ -24,7 +24,7 @@
 
     x: RequiresContextFutureResult[int, float, str]
 
-    reveal_type(x.swap())  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.float*, builtins.int*, builtins.str*]'
+    reveal_type(x.swap())  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.float*, builtins.int*, builtins.str*]"
 
 
 - case: requires_context_future_result_map
@@ -34,7 +34,7 @@
 
     x: RequiresContextFutureResult[int, float, str]
 
-    reveal_type(x.map(bool))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.map(bool))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_apply
@@ -46,7 +46,7 @@
     x: RequiresContextFutureResult[int, float, str]
     y: RequiresContextFutureResult[Callable[[int], bool], float, str]
 
-    reveal_type(x.apply(y))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.apply(y))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind
@@ -59,7 +59,7 @@
     def test(param: int) -> RequiresContextFutureResult[bool, float, str]:
         ...
 
-    reveal_type(x.bind(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_awaitable
@@ -72,7 +72,7 @@
 
     first: RequiresContextFutureResult[int, str, bool]
 
-    reveal_type(first.bind_awaitable(bind_awaitable))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.float*, builtins.str, builtins.bool]'
+    reveal_type(first.bind_awaitable(bind_awaitable))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.float*, builtins.str, builtins.bool]"
 
 
 - case: requires_context_future_result_bind_async
@@ -85,7 +85,7 @@
 
     first: RequiresContextFutureResult[int, str, bool]
 
-    reveal_type(first.bind_async(bind_async))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.float*, builtins.str, builtins.bool]'
+    reveal_type(first.bind_async(bind_async))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.float*, builtins.str, builtins.bool]"
 
 
 - case: requires_context_future_result_bind_result
@@ -99,7 +99,7 @@
     def test(param: int) -> Result[bool, float]:
         ...
 
-    reveal_type(x.bind_result(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_result(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_ioresult
@@ -113,7 +113,7 @@
     def test(param: int) -> IOResult[bool, float]:
         ...
 
-    reveal_type(x.bind_ioresult(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_ioresult(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_io
@@ -127,7 +127,7 @@
     def test(param: int) -> IO[bool]:
         ...
 
-    reveal_type(x.bind_io(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_io(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_future
@@ -141,7 +141,7 @@
     def test(param: int) -> Future[bool]:
         ...
 
-    reveal_type(x.bind_future(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_future(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_future_result
@@ -155,7 +155,7 @@
     def test(param: int) -> FutureResult[bool, float]:
         ...
 
-    reveal_type(x.bind_future_result(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_future_result(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_async_future
@@ -169,7 +169,7 @@
     async def test(param: int) -> Future[bool]:
         ...
 
-    reveal_type(x.bind_async_future(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_async_future(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_async_future_result
@@ -183,7 +183,7 @@
     async def test(param: int) -> FutureResult[bool, float]:
         ...
 
-    reveal_type(x.bind_async_future_result(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_async_future_result(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_context
@@ -196,7 +196,7 @@
     def test(param: int) -> RequiresContext[bool, str]:
         ...
 
-    reveal_type(x.bind_context(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_context(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_context_result
@@ -209,7 +209,7 @@
     def test(param: int) -> RequiresContextResult[bool, float, str]:
         ...
 
-    reveal_type(x.bind_context_result(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_context_result(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_bind_context_ioresult
@@ -222,7 +222,7 @@
     def test(param: int) -> RequiresContextIOResult[bool, float, str]:
         ...
 
-    reveal_type(x.bind_context_ioresult(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]'
+    reveal_type(x.bind_context_ioresult(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.bool*, builtins.float, builtins.str]"
 
 
 - case: requires_context_future_result_lash
@@ -235,7 +235,7 @@
     def test(param: float) -> RequiresContextFutureResult[int, bool, str]:
         ...
 
-    reveal_type(x.lash(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.int, builtins.bool*, builtins.str]'
+    reveal_type(x.lash(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.int, builtins.bool*, builtins.str]"
 
 
 - case: requires_context_future_result_alt
@@ -248,7 +248,7 @@
     def test(param: float) -> bool:
         ...
 
-    reveal_type(x.alt(test))  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.int, builtins.bool*, builtins.str]'
+    reveal_type(x.alt(test))  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.int, builtins.bool*, builtins.str]"
 
 
 - case: requires_context_future_result_modify_env
@@ -257,4 +257,4 @@
     from returns.context import RequiresContextFutureResult
 
     first: RequiresContextFutureResult[float, bool, int]
-    reveal_type(first.modify_env(int)('1'))  # N: Revealed type is 'returns.future.FutureResult[builtins.float*, builtins.bool*]'
+    reveal_type(first.modify_env(int)('1'))  # N: Revealed type is "returns.future.FutureResult[builtins.float*, builtins.bool*]"
diff --git a/..._context/test_requires_context_future_result/test_requires_context_future_result_cast.yml b/..._context/test_requires_context_future_result/test_requires_context_future_result_cast.yml
@@ -4,7 +4,7 @@
     from returns.context import RequiresContextFutureResult
 
     first: RequiresContextFutureResult[object, Exception, str] = RequiresContextFutureResult.from_value(1)
-    reveal_type(first)  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.object, builtins.Exception, builtins.str]'
+    reveal_type(first)  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.object, builtins.Exception, builtins.str]"
 
 
 - case: requires_context_future_result_failure_cast
@@ -13,7 +13,7 @@
     from returns.context import RequiresContextFutureResult
 
     first: RequiresContextFutureResult[object, Exception, str] = RequiresContextFutureResult.from_failure(TypeError())
-    reveal_type(first)  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.object, builtins.Exception, builtins.str]'
+    reveal_type(first)  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.object, builtins.Exception, builtins.str]"
 
 
 - case: requires_context_future_result_env_cast
@@ -24,7 +24,7 @@
     first: RequiresContextFutureResult[object, Exception, object]
     second: RequiresContextFutureResult[object, Exception, str] = first
 
-    reveal_type(second)  # N: Revealed type is 'returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.object, builtins.Exception, builtins.str]'
+    reveal_type(second)  # N: Revealed type is "returns.context.requires_context_future_result.RequiresContextFutureResult[builtins.object, builtins.Exception, builtins.str]"
 
 
 - case: requires_context_future_result_wrong_cast