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.

Inizia riproducendo il problema con l'esempio Python presente nel report e verifica come mypy gestisce gli attributi generici e i valori predefiniti. Determina la diagnosi prevista per il valore predefinito mutabile condiviso; quindi aggiungi una copertura di regressione che dimostri che le specializzazioni generiche non possono condividerlo in modo non sicuro e verifica che l'esempio esistente venga rifiutato.