| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
|
According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅ |
Sorry, something went wrong.
|
Nice work. I just tested it. Note that it also restores the possiblty to use # type: ignore comment. a: int
b: list[str]
(a,) = (*b,) # type: ignore[assignment]
(a,) = [*b] # type: ignore[assignment]Before (v1.16.0)tmp.py: error: Incompatible types in assignment (expression has type "str", variable has type "int") [assignment] Found 1 error in 1 file (checked 1 source file) AfterSuccess: no issues found in 1 source file |
Sorry, something went wrong.
There was a problem hiding this comment.
Nice, thank you!
Sorry, something went wrong.
| Back | FazBrowse Home | New Git URL |
Fixes #19257
Given:
Before:
After:
main.py:3: error: Incompatible types in assignment (expression has type "str", variable has type "int") [assignment] (a,) = (*b,) ^ main.py:4: error: Incompatible types in assignment (expression has type "str", variable has type "int") [assignment] (a,) = [*b] ^ Found 2 errors in 1 file (checked 1 source file)