Skip to content

Fix error code on "Maybe you forgot to use await" note#16203

Merged
hauntsaninja merged 3 commits into
python:masterfrom
JelleZijlstra:awaitnote
Sep 30, 2023
Merged

Fix error code on "Maybe you forgot to use await" note#16203
hauntsaninja merged 3 commits into
python:masterfrom
JelleZijlstra:awaitnote

Conversation

@JelleZijlstra

Copy link
Copy Markdown
Member

Fixes #16202

@github-actions

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@hauntsaninja hauntsaninja left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Thanks!

@hauntsaninja
hauntsaninja merged commit acccdd8 into python:master Sep 30, 2023
@JelleZijlstra
JelleZijlstra deleted the awaitnote branch September 30, 2023 22:26
@JelleZijlstra
JelleZijlstra restored the awaitnote branch September 10, 2024 23:37
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.

'Maybe you forgot to use "await"?' has wrong error code

2 participants