FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

gh-104050: Argument clinic: misc improvements to type annotation coverage by AlexWaygood · Pull Request #107206 · python/cpython · GitHub

Repository navigation

gh-104050: Argument clinic: misc improvements to type annotation coverage - #107206

Merged
AlexWaygood merged 1 commit into
python:mainfrom
AlexWaygood:clinic-type-coverage
Jul 24, 2023
Merged

AlexWaygood merged 1 commit into
python:mainfrom
AlexWaygood:clinic-type-coverage

Conversation

AlexWaygood commented Jul 24, 2023 •
edited by bedevere-bot
Loading

Copy link
Copy Markdown
Member

Gets us down to 22 remaining errors if you run mypy with --disallow-untyped-defs!

Comment thread Tools/clinic/clinic.py
# these F spaces will be stripped.
def state_parameter_docstring(self, line):
def state_parameter_docstring(self, line: str | None) -> None:
assert line is not None

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

We need to get rid of these at some point.

erlend-aasland left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

🚀

AlexWaygood enabled auto-merge (squash) July 24, 2023 21:20
AlexWaygood merged commit d93fe5a into python:main Jul 24, 2023
AlexWaygood deleted the clinic-type-coverage branch July 26, 2023 10:09
jtcave pushed a commit to jtcave/cpython that referenced this pull request Jul 27, 2023
This file contains hidden or 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants


Back | FazBrowse Home | New Git URL