Does everyone else find themselves using `type ignore` all the time? | Pycord | Page 1

stark solstice Sep 18, 2022, 4:49 PM

#

Without constantly writing in # type: ignore, a lot of the objects in pycord throw type checking errors. This is for both strict and basic typing modes.

#

nova torrent Sep 18, 2022, 5:11 PM

#

stark solstice

message_edit()

stark solstice Sep 18, 2022, 5:13 PM

#

interaction.message_edit() is not a thing afaik

forest drum Sep 18, 2022, 5:29 PM

#

https://docs.pycord.dev/en/stable/api.html?highlight=interaction edit#discord.Interaction.edit_original_message ?

stark solstice Sep 18, 2022, 5:39 PM

#

Gotcha. Regardless, there's still a lot of typing issues that arise while using pycord, and I'm wondering if I'm the only one

forest drum Sep 18, 2022, 5:39 PM

#

What IDE are you using out of curiosity ?

stark solstice Sep 18, 2022, 5:39 PM

#

vscode

#Does everyone else find themselves using `type ignore` all the time?