diff options
| author |  Bradley Reynolds <[email protected]> | 2022-07-14 23:46:10 -0500 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2022-07-14 21:46:10 -0700 |
| commit | c812b61073a1c82d9d47064a82342df3b9ea31bf (patch) | |
| tree | 6505a5ab6632e63ab1dfba1b8813b8235345874a /bot/exts/fun/connect_four.py | |
| parent | Bump lxml from 4.7.1 to 4.9.1 (#1068) (diff) | |
Fix incorrect type hints (#1073)
Diffstat (limited to 'bot/exts/fun/connect_four.py')
| -rw-r--r-- | bot/exts/fun/connect_four.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bot/exts/fun/connect_four.py b/bot/exts/fun/connect_four.py index f53695d5..1b88d065 100644 --- a/bot/exts/fun/connect_four.py +++ b/bot/exts/fun/connect_four.py @@ -5,6 +5,7 @@ from typing import Optional, Union import discord import emojis +from discord import ClientUser, Member from discord.ext import commands from bot.bot import Bot @@ -71,7 +72,9 @@ class Game: await self.message.add_reaction(CROSS_EMOJI) await self.message.edit(content=None, embed=embed) - async def game_over(self, action: str, player1: discord.user, player2: discord.user) -> None: + async def game_over( + self, action: str, player1: Union[ClientUser, Member], player2: Union[ClientUser, Member] + ) -> None: """Announces to public chat.""" if action == "win": await self.channel.send(f"Game Over! {player1.mention} won against {player2.mention}") |