Workaround type checker errors.

See sqlalchemy/sqlalchemy#9185 (comment)

Author: MikuAuahDark

npps4/idol/cache.py

@@ -6,6 +6,8 @@
 from .. import util
 from ..db import main
 
+from typing import cast
+
 ENABLE_CACHE = False
 
 
@@ -54,5 +56,5 @@ async def store_response(
 
 async def clear(context: session.BasicSchoolIdolContext, user_id: int):
     q = sqlalchemy.delete(main.RequestCache).where(main.RequestCache.user_id == user_id)
-    result = await context.db.main.execute(q)
+    result = cast(sqlalchemy.CursorResult, await context.db.main.execute(q))
     return result.rowcount

npps4/system/live.py

@@ -18,7 +18,7 @@
 from ..db import main
 from ..db import live
 
-from typing import Any, Literal, overload
+from typing import Any, Literal, cast, overload
 
 
 async def unlock_normal_live(context: idol.BasicSchoolIdolContext, user: main.User, live_track_id: int):
@@ -369,7 +369,7 @@ async def get_live_in_progress(context: idol.BasicSchoolIdolContext, user: main.
 
 async def clean_live_in_progress(context: idol.BasicSchoolIdolContext, user: main.User):
     q = sqlalchemy.delete(main.LiveInProgress).where(main.LiveInProgress.user_id == user.id)
-    result = await context.db.main.execute(q)
+    result = cast(sqlalchemy.CursorResult, await context.db.main.execute(q))
     return result.rowcount > 0
 
 

npps4/system/unit.py

@@ -20,7 +20,7 @@
 from ..db import main
 from ..db import unit
 
-from typing import Literal, overload
+from typing import Literal, cast, overload
 
 
 @dataclasses.dataclass
@@ -889,7 +889,7 @@ async def detach_unit_removable_skill(context: idol.BasicSchoolIdolContext, unit
         main.UnitRemovableSkill.unit_owning_user_id == unit.id,
         main.UnitRemovableSkill.unit_removable_skill_id == removable_skill_id,
     )
-    result = await context.db.main.execute(q)
+    result = cast(sqlalchemy.CursorResult, await context.db.main.execute(q))
     return result.rowcount > 0