Как исправить ошибку mypy `"Series[Any]" not callable [operator]` ⇐ Python

[Anonymous]

Для кода ниже

Код: Выделить всё

import pandas as pd

df_data = pd.DataFrame(
[
{"a": 2, "b": 1},
{"a": 2, "b": 10},
{"a": 3, "b": 77},
]
)

df_data.groupby("a").size().to_frame("size")

mypy жалуется

Код: Выделить всё

toy.py:12: error: "Series[Any]" not callable  [operator]
Found 1 error in 1 file (checked 1 source file)

Я знаю, что жалоба связана с вызовом to_frame, но не знаю, почему и как это исправить?
Версии:

• pandas: 2.2.2
• pandas-stub: 2.2.2.240807
• mypy: 1.11.2
• python: 3.12.4

Подробнее здесь: https://stackoverflow.com/questions/789 ... mypy-error