You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The first line should be shortened the same way that the second line is (and were it not to be shortened, each element should be displayed as int, not builtins.int).
The text was updated successfully, but these errors were encountered:
This should be easy enough to fix, I think; mypy/checker.py:2018 currently does a direct string format when it should instead use the MessageBuilder format logic.
(There are probably a few other cases where this is happening with other constants, I'll see if I can catch any of those as well.)
Consider this contrived example:
mypy --strict
currently outputs:The first line should be shortened the same way that the second line is (and were it not to be shortened, each element should be displayed as
int
, notbuiltins.int
).The text was updated successfully, but these errors were encountered: