Pyrefly cannot resolve `response`/`followup` attributes on `discord.Interaction` from discord.py library
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
On the [discord.py](https://pypi.org/project/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`](https://github.com/Rapptz/discord.py/blob/84f9877860d434969443c68ad2bed5f66ac0270f/discord/interactions.py#L399) and [`followup`](https://github.com/Rapptz/discord.py/blob/84f9877860d434969443c68ad2bed5f66ac0270f/discord/interactions.py#L408) 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_
Contributor guide
Assessment
This issue has not been assessed yet.