Skip to content

Commit

Permalink
Fix incorrect type cast (#4620)
Browse files Browse the repository at this point in the history
Co-authored-by: Hussein Mozannar <[email protected]>
  • Loading branch information
peterychang and husseinmozannar authored Dec 9, 2024
1 parent d969972 commit 51d4a10
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@
# TODO: ainput doesn't seem to play nicely with jupyter.
# No input window appears in this case.
async def cancellable_input(prompt: str, cancellation_token: Optional[CancellationToken]) -> str:
task = asyncio.Task[str](asyncio.create_task(ainput(prompt))) # type: ignore
task: asyncio.Task[str] = asyncio.create_task(ainput(prompt)) # type: ignore
if cancellation_token is not None:
cancellation_token.link_future(task)
return await task
Expand Down

0 comments on commit 51d4a10

Please sign in to comment.