4 ms·

It reminds me of this 5 year old bug in mypy: "int is not a Number?" [1]. [1]: https://github.com/python/mypy/issues/3186 https://github.com/python/mypy/issues

• benatkin 5y ago
  It isn't really one though (a lot of reading): https://stackoverflow.com/questions/69334475/how-to-hint-at-number-types-i-e-subclasses-of-number-not-numbers-themselv/69383462#69383462 https://stackoverflow.com/questions/69334475/how-to-hint-at-... I would rather my type checker give me the truth than gloss over it. This issue should be kept open (it is) but they should wait until a good solution is found that doesn't gloss over the discrepancy.