mirrors/discord.py
1
0
Fork 0
mirror of https://github.com/Rapptz/discord.py.git synced 2025-12-04 22:42:21 +00:00
Code Issues Projects Releases Wiki Activity

Fix types in guild.py

Browse Source
This commit is contained in:
Josh
2022-02-22 17:34:17 +10:00
committed by Rapptz
parent 3ce00abeae
commit 285069de08
5 changed files with 156 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
discord/state.py
View File

@@ -470,7 +470,9 @@ class ConnectionState:
ws = self._get_websocket(guild_id) # This is ignored upstream
await ws.request_chunks(guild_id, query=query, limit=limit, presences=presences, nonce=nonce)
async def query_members(self, guild: Guild, query: str, limit: int, user_ids: List[int], cache: bool, presences: bool):
async def query_members(
self, guild: Guild, query: Optional[str], limit: int, user_ids: Optional[List[int]], cache: bool, presences: bool
) -> List[Member]:
guild_id = guild.id
ws = self._get_websocket(guild_id)
if ws is None: