Describe the Bug
On the discord.py library (tested specifically on library version 2.7.1 with Python version 3.11, but I suspect that it would also happen with other version combinations), Pyrefly seems to be completely unable to resolve the response and followup properties of the libraries discord.Interaction type, making it incredibly inconvenient for people who create Discord bots with the library to use Pyrefly if the codebase makes any use at all of Discord slash commands, UI, context menus, or other interaction-based flows.
No sandbox link is provided since to my knowledge it's not possible to install PyPI packages in the sandbox, please correct me if I'm wrong.
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response
Describe the Bug
On the discord.py library (tested specifically on library version 2.7.1 with Python version 3.11, but I suspect that it would also happen with other version combinations), Pyrefly seems to be completely unable to resolve the
responseandfollowupproperties of the librariesdiscord.Interactiontype, making it incredibly inconvenient for people who create Discord bots with the library to use Pyrefly if the codebase makes any use at all of Discord slash commands, UI, context menus, or other interaction-based flows.No sandbox link is provided since to my knowledge it's not possible to install PyPI packages in the sandbox, please correct me if I'm wrong.
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response