Missing error when an attribute is a variant generic

The following produces no errors but I expected it to be treated the same as if B.a was a get/set property (which causes a variance error)

class A:
    pass

class A2(A):
    something: str = "hello"
    
T_co = TypeVar('T_co', covariant=True)

class B(Generic[T_co]):
    def __init__(self, a: T_co) -> None:
        self.a: T_co = a  # EXPECTED: typing error here like "public attributes must have invariant type"
        
def set_a(b: B[A]) -> None:
    b.a = A()
    

b2: B[A2] = B(A2())

set_a(b2)

print(b2.a.something) # ACTUAL: runtime error here

Python 3.10, mypy 0.961 with --strict

Beginne damit, das bereitgestellte Python-3.10-Beispiel mit mypy --strict auszuführen und die Varianzprüfung für self.a in der generischen Klasse B nachzuverfolgen. Vergleiche dies mit der bestehenden get/set-property-Behandlung; abgeschlossen ist die Aufgabe, wenn das ungültige kovariante veränderliche Attribut diagnostiziert wird und die Regression abgedeckt ist.