55# options: fast_parser
66async def f() -> int:
77 pass
8- [builtins fixtures/async_await.py ]
8+ [builtins fixtures/async_await.pyi ]
99
1010[case testAsyncDefReturn]
1111# options: fast_parser
1212async def f() -> int:
1313 return 0
1414reveal_type(f()) # E: Revealed type is 'typing.Awaitable[builtins.int]'
15- [builtins fixtures/async_await.py ]
15+ [builtins fixtures/async_await.pyi ]
1616
1717[case testAwaitCoroutine]
1818# options: fast_parser
1919async def f() -> int:
2020 x = await f()
2121 reveal_type(x) # E: Revealed type is 'builtins.int*'
2222 return x
23- [builtins fixtures/async_await.py ]
23+ [builtins fixtures/async_await.pyi ]
2424[out]
2525main: note: In function "f":
2626
@@ -92,7 +92,7 @@ def g() -> int:
9292async def f() -> int:
9393 x = await g()
9494 return x
95- [builtins fixtures/async_await.py ]
95+ [builtins fixtures/async_await.pyi ]
9696[out]
9797main: note: In function "f":
9898main:5: error: Incompatible types in await (actual type "int", expected type "Awaitable")
@@ -103,7 +103,7 @@ async def g() -> int:
103103 return 0
104104async def f() -> str:
105105 x = await g() # type: str
106- [builtins fixtures/async_await.py ]
106+ [builtins fixtures/async_await.pyi ]
107107[out]
108108main: note: In function "f":
109109main:5: error: Incompatible types in assignment (expression has type "int", variable has type "str")
@@ -115,7 +115,7 @@ async def g() -> int:
115115async def f() -> str:
116116 x = await g()
117117 return x
118- [builtins fixtures/async_await.py ]
118+ [builtins fixtures/async_await.pyi ]
119119[out]
120120main: note: In function "f":
121121main:6: error: Incompatible return value type (got "int", expected "str")
@@ -128,7 +128,7 @@ class C(AsyncIterator[int]):
128128async def f() -> None:
129129 async for x in C():
130130 reveal_type(x) # E: Revealed type is 'builtins.int*'
131- [builtins fixtures/async_await.py ]
131+ [builtins fixtures/async_await.pyi ]
132132[out]
133133main: note: In function "f":
134134
@@ -138,7 +138,7 @@ from typing import AsyncIterator
138138async def f() -> None:
139139 async for x in [1]:
140140 pass
141- [builtins fixtures/async_await.py ]
141+ [builtins fixtures/async_await.pyi ]
142142[out]
143143main: note: In function "f":
144144main:4: error: AsyncIterable expected
@@ -152,7 +152,7 @@ class C:
152152async def f() -> None:
153153 async with C() as x:
154154 reveal_type(x) # E: Revealed type is 'builtins.int*'
155- [builtins fixtures/async_await.py ]
155+ [builtins fixtures/async_await.pyi ]
156156[out]
157157main: note: In function "f":
158158
@@ -164,7 +164,7 @@ class C:
164164async def f() -> None:
165165 async with C() as x:
166166 pass
167- [builtins fixtures/async_await.py ]
167+ [builtins fixtures/async_await.pyi ]
168168[out]
169169main: note: In function "f":
170170main:6: error: "C" has no attribute "__aenter__"; maybe "__enter__"?
@@ -178,7 +178,7 @@ class C:
178178async def f() -> None:
179179 async with C() as x: # E: Incompatible types in "async with" for __aenter__ (actual type "int", expected type "Awaitable")
180180 pass
181- [builtins fixtures/async_await.py ]
181+ [builtins fixtures/async_await.pyi ]
182182[out]
183183main: note: In function "f":
184184
@@ -190,7 +190,7 @@ class C:
190190async def f() -> None:
191191 async with C() as x: # E: "__aenter__" of "C" does not return a value
192192 pass
193- [builtins fixtures/async_await.py ]
193+ [builtins fixtures/async_await.pyi ]
194194[out]
195195main: note: In function "f":
196196
@@ -202,7 +202,7 @@ class C:
202202async def f() -> None:
203203 async with C() as x: # E: Incompatible types in "async with" for __aexit__ (actual type "int", expected type "Awaitable")
204204 pass
205- [builtins fixtures/async_await.py ]
205+ [builtins fixtures/async_await.pyi ]
206206[out]
207207main: note: In function "f":
208208
@@ -214,7 +214,7 @@ class C:
214214async def f() -> None:
215215 async with C() as x: # E: "__aexit__" of "C" does not return a value
216216 pass
217- [builtins fixtures/async_await.py ]
217+ [builtins fixtures/async_await.pyi ]
218218[out]
219219main: note: In function "f":
220220
@@ -226,7 +226,7 @@ async def g():
226226 yield
227227async def h():
228228 x = yield
229- [builtins fixtures/async_await.py ]
229+ [builtins fixtures/async_await.pyi ]
230230[out]
231231main: note: In function "f":
232232main:3: error: 'yield' in async function
@@ -241,7 +241,7 @@ async def f():
241241 yield from []
242242async def g():
243243 x = yield from []
244- [builtins fixtures/async_await.py ]
244+ [builtins fixtures/async_await.pyi ]
245245[out]
246246main: note: In function "f":
247247main:3: error: 'yield from' in async function
@@ -261,7 +261,7 @@ async def f() -> str:
261261def g() -> Generator[Any, None, str]:
262262 x = yield from f()
263263 return x
264- [builtins fixtures/async_await.py ]
264+ [builtins fixtures/async_await.pyi ]
265265[out]
266266main: note: In function "g":
267267main:6: error: "yield from" can't be applied to Awaitable[str]
@@ -290,7 +290,7 @@ async def main() -> None:
290290 reveal_type(y) # E: Revealed type is 'builtins.int'
291291 async for z in I():
292292 reveal_type(z) # E: Revealed type is 'builtins.int'
293- [builtins fixtures/async_await.py ]
293+ [builtins fixtures/async_await.pyi ]
294294[out]
295295main: note: In function "main":
296296
@@ -307,7 +307,7 @@ def f() -> Generator[int, str, int]:
307307 return 0
308308 else:
309309 return '' # E: Incompatible return value type (got "str", expected "int")
310- [builtins fixtures/async_await.py ]
310+ [builtins fixtures/async_await.pyi ]
311311[out]
312312main: note: In function "f":
313313
@@ -397,5 +397,5 @@ async def decorated_host_coroutine() -> None:
397397 x = await other_iterator() # E: Incompatible types in await (actual type "It", expected type "Awaitable")
398398 x = await other_coroutine()
399399
400- [builtins fixtures/async_await.py ]
400+ [builtins fixtures/async_await.pyi ]
401401[out]
0 commit comments