-
-
Notifications
You must be signed in to change notification settings - Fork 874
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
Provide overload type hints for search_issues variants #1861
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Stealthii
force-pushed
the
feature/overload-typehint
branch
from
May 22, 2024 15:11
5c14980
to
1690630
Compare
Stealthii
changed the title
Correct type hints for search_issues
Provide overload type hints for search_issues variants
May 22, 2024
The cloud / py3.8 job seems to be failing for all PRs, unrelated to the changes provided here. |
4 tasks
Looks awesome! Would be nice if this was merged, I run into issues having to cast this every time I use it |
Stealthii
force-pushed
the
feature/overload-typehint
branch
from
July 18, 2024 13:41
41be7a0
to
968b8da
Compare
adehad
approved these changes
Sep 2, 2024
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for this
search_issues can return either a dictionary (if json_result) or a list of Issues under default behavior. This change provides separate hints using overload so that type checked code doesn't need to cast unnecessarily when dealing with output.
We now require json_result and use_post are passed as keyword arguments, satisfying type checker requirements and handling the default return value correctly.
As the correct type hint is now provided, this is no longer necessary.
adehad
force-pushed
the
feature/overload-typehint
branch
from
September 2, 2024 13:10
968b8da
to
4fd9ad3
Compare
Wojtini
pushed a commit
to Wojtini/jira
that referenced
this pull request
Sep 2, 2024
Thank you for getting this merged! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
search_issues can return either a dictionary (if json_result) or a list of Issues under default behavior.
This change provides separate hints using overload so that type checked code doesn't need to cast unnecessarily when dealing with output.
Tests have been added, and cases where casting was used have been removed.
Fixes #1608.