Error when using TypeVar in type annotation for @property

from typing import TypeVar, Generic
from pyspark.sql import DataFrame
import pandas as pd
AnyDataFrame = TypeVar('AnyDataFrame', pd.DataFrame, DataFrame)

class OutputA(Generic[AnyDataFrame]):

    @property
    def original_data(self) -> AnyDataFrame:
        return self._original_data

    @original_data.setter
    def original_data(self, value: AnyDataFrame) -> None:
        self._original_data = value

I get mypy error: Need type annotation for "_original_data" [var-annotated]

I have to add the annotation as below to solve the error, why?

    @original_data.setter
    def original_data(self, value: AnyDataFrame) -> None:
        self._original_data: AnyDataFrame = value

報告された Python スニペットを mypy で再現し、property getter、setter、TypeVar、Generic class がどのように解析されるかを調べる。アノテーションのない _original_data 属性の診断パスを確認する。動作を説明できるか、問題を再現可能な型チェックの不具合に絞り込めた時点で完了とする。