Skip to content

mypy_extensions: fix NoReturn, remove inaccurate comment - #6595

Merged
hauntsaninja merged 2 commits into
python:masterfrom
hauntsaninja:mypyext
Dec 16, 2021
Merged

hauntsaninja merged 2 commits into
python:masterfrom
hauntsaninja:mypyext

Conversation

@hauntsaninja

Copy link
Copy Markdown
Collaborator

No description provided.

@JelleZijlstra

Copy link
Copy Markdown
Member

Does mypy still recognize this correctly?

@hauntsaninja

Copy link
Copy Markdown
Collaborator Author

Yeah, it should!

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.

2 participants