for a .pyi like
import pandas as pd
s: pd.Series[str]
s += "a"
, Pyrefly reports
`+=` is not supported between `Series[str]` and `Literal['a']`
Expected `__iadd__` to be a callable, got `str`
This is accepted by mypy, pyright, basedpyright, and ty.
I'm guessing this has to do with there not being a Series.__iadd__ method in the stubs, causing Pyrefly to incorrectly prioritize Series.__getattr__ (which returns a str) over Series.__add__.
Used versions:
pyrefly==0.50.0
pandas==2.3.3
pandas-stubs==2.3.3.260113
for a
.pyilike, Pyrefly reports
This is accepted by mypy, pyright, basedpyright, and ty.
I'm guessing this has to do with there not being a
Series.__iadd__method in the stubs, causing Pyrefly to incorrectly prioritizeSeries.__getattr__(which returns astr) overSeries.__add__.Used versions:
pyrefly==0.50.0pandas==2.3.3pandas-stubs==2.3.3.260113