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.

Comienza reproduciendo el problema con el ejemplo de Python del informe e inspecciona cómo gestiona mypy los atributos genéricos y los valores predeterminados. Determina el diagnóstico previsto para el valor predeterminado mutable compartido; después, añade cobertura de regresión que muestre que las especializaciones genéricas no pueden compartirlo de forma insegura y verifica que el ejemplo existente sea rechazado.