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.

Beginne damit, das Problem mit dem Python-Beispiel im Bericht zu reproduzieren, und untersuche, wie mypy mit generischen Attributen und Standardwerten umgeht. Bestimme die vorgesehene Diagnose für den gemeinsam genutzten veränderlichen Standardwert. Füge anschließend eine Regressionstestabdeckung hinzu, die zeigt, dass generische Spezialisierungen ihn nicht auf unsichere Weise gemeinsam nutzen können, und verifiziere, dass das vorhandene Beispiel abgelehnt wird.