We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b5233c8 commit ce73cb1Copy full SHA for ce73cb1
trio_websocket/_impl.py
@@ -1691,7 +1691,11 @@ def listeners(self) -> list[Endpoint | str]:
1691
listeners.append(repr(listener))
1692
return listeners
1693
1694
- async def run(
+ # Type ignore is because type checker does not think NoReturn is
1695
+ # real for Trio 0.25.1 (current version used in requirements file as
1696
+ # of writing). Not a problem for newer versions however, which is
1697
+ # why we have unused-ignore as well.
1698
+ async def run( # type: ignore[misc,unused-ignore]
1699
self,
1700
*,
1701
task_status: trio.TaskStatus[WebSocketServer] = trio.TASK_STATUS_IGNORED,
0 commit comments