diff options
| author |  kwzrd <[email protected]> | 2020-06-19 20:26:06 +0200 |
|---|---|---|
| committer | kwzrd <[email protected]> | 2020-06-19 20:27:18 +0200 |
| commit | 8a08ca3a29f6d6bda2ab71bc9fd70782be9869e4 (patch) | |
| tree | 996da37c7e2853221d89034ec69076547b914591 | |
| parent | Incidents: remove broad noqa (diff) | |
Incidents: annotate possible None type
Caught during review by ks129.
Co-authored-by: ks129 <[email protected]>
Diffstat (limited to '')
| -rw-r--r-- | bot/cogs/moderation/incidents.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bot/cogs/moderation/incidents.py b/bot/cogs/moderation/incidents.py index c733607e6..c09d8e1a7 100644 --- a/bot/cogs/moderation/incidents.py +++ b/bot/cogs/moderation/incidents.py @@ -265,7 +265,7 @@ class Incidents(Cog): """ await self.bot.wait_until_guild_available() # First make sure that the cache is ready log.trace(f"Resolving message for: {message_id=}") - message: discord.Message = self.bot._connection._get_message(message_id) + message: t.Optional[discord.Message] = self.bot._connection._get_message(message_id) if message is not None: log.trace("Message was found in cache") |