Default values for generic attributes are unsafe

Currently mypy accepts this unsafe code:

from typing import Generic, TypeVar, List
  
T = TypeVar('T')

class B(Generic[T]):
    x: List[T] = []

class C1(B[int]):
    pass

class C2(B[str]):
    pass

C1().x.append(42)
C2().x.append('Hm...')

A potential solution would be to disallow all default values for generic attributes except None. This is however a low priority, since it is a false negative, and a rare corner case.

レポートの Python 例で問題を再現するところから始め、mypy がジェネリック属性とデフォルト値をどのように扱うかを調べます。共有される可変なデフォルト値に対して意図される診断を特定し、続いてジェネリックの特殊化がそれを安全でない形で共有できないことを示すリグレッションテストを追加し、既存の例が拒否されることを確認します。