match narrowing fails when the operand is an await
expression
#17230
Labels
bug
mypy got something wrong
await
expression
#17230
This is related to #12998.
https://mypy-play.net/?mypy=latest&python=3.12&gist=42bbd2ec432dbfd003429c64b8dc7435
I also sent #17199 with a test case that demonstrates the bug.
The text was updated successfully, but these errors were encountered: