Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update guild.py fetch_members() type hints #1323

Merged
merged 2 commits into from May 5, 2022

Conversation

IotaSpencer
Copy link
Contributor

Actually type hint for None OR int using Union[int, None]

Summary

Fix type hinting for fetch_members so IDEs don't complain that it expects just an int

Checklist

  • If code changes were made then they have been tested.
    • I have updated the documentation to reflect the changes.
  • If type: ignore comments were used, a comment is also left explaining why
  • This PR fixes an issue.
  • This PR adds something new (e.g. new method or parameters).
  • This PR is a breaking change (e.g. methods or parameters removed/renamed)
  • This PR is not a code change (e.g. documentation, README, typehinting, examples, ...)

Actually type hint for None OR int using Union[int, None]
@Lulalaby Lulalaby merged commit fb3065d into Pycord-Development:master May 5, 2022
@IotaSpencer IotaSpencer deleted the patch-1 branch May 5, 2022 13:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants