Update mypy.

Needed so mypy can recognize the new Python 3.12 generic syntax.

game/server/eventstream/routes.py

@@ -1,5 +1,5 @@
 import asyncio
-from asyncio import wait
+from asyncio import wait, Future
 
 from fastapi import APIRouter, WebSocket
 from fastapi.encoders import jsonable_encoder
@@ -16,9 +16,9 @@ class ConnectionManager:
         self.active_connections: list[WebSocket] = []
 
     async def shutdown(self) -> None:
-        futures = []
+        futures: list[Future[None]] = []
         for connection in self.active_connections:
-            futures.append(connection.close())
+            futures.append(asyncio.create_task(connection.close()))
         await wait(futures)
 
     async def connect(self, websocket: WebSocket) -> None:

requirements.txt

@@ -22,7 +22,7 @@ idna==3.6
 iniconfig==2.0.0
 Jinja2==3.1.2
 MarkupSafe==2.1.3
-mypy==1.2.0
+mypy==1.7.1
 mypy-extensions==1.0.0
 nodeenv==1.8.0
 numpy==1.26.2

tests/test_pilot.py

@@ -1,6 +1,6 @@
 import pytest
-
 from faker import Faker
+
 from game.squadrons.pilot import Pilot, PilotStatus
 
 
@@ -29,7 +29,8 @@ def test_pilot_on_leave(pilot: Pilot) -> None:
     assert pilot.on_leave == True
     pilot.return_from_leave()
     assert pilot.status == PilotStatus.Active
-    assert pilot.on_leave == False
+    # mypy thinks this line is unreachable. It isn't.
+    assert pilot.on_leave == False  # type: ignore
 
 
 def test_pilot_on_leave_twice(pilot: Pilot) -> None: