conformance: bump type checker versions#2254
Conversation
mypy: 1.19.1 -> 1.20.0 pyrefly: 0.58.0 -> 0.60.0 zuban: 0.6.2 -> 0.7.0
| dataclasses_descriptors.py:61: error: Cannot access instance-only attribute "x" on class object [misc] | ||
| dataclasses_descriptors.py:62: error: Cannot access instance-only attribute "y" on class object [misc] |
There was a problem hiding this comment.
these new mypy diagnostics seem like they might be worth describing in the notes field? Especially because pyrefly and ty also object to the assertions on these lines, for basically the same reason: descriptors resolve differently when accessed on the class object than when accessed on instances, and the assertions on these lines don't seem fully cognisant of that aspect of the runtime behaviour
| """ | ||
| conformance_automated = "Fail" | ||
| errors_diff = """ | ||
| Lines 111, 112: Expected error (tag 'func6_3') |
There was a problem hiding this comment.
should this also be mentioned in the notes field?
There was a problem hiding this comment.
For neither assert_type to error, I think mypy must be marking this match case as unreachable. Amusingly enough, this is the third time this has happened - I previously filed bugs against zuban and pyright for this.
Addressing a couple comments on python#2254 that came in after the PR was merged.
Addressing a couple comments on #2254 that came in after the PR was merged.
4 participants
mypy: 1.19.1 -> 1.20.0
pyrefly: 0.58.0 -> 0.60.0
zuban: 0.6.2 -> 0.7.0