variance inferred incorrectly when class has both a covariant and contravariant generic and instance attribute is assigned without a type annotation

from typing import Never


class Foo[in_T, out_T]:
    def __init__(self, *, value: out_T):
        a: Foo[Never, object] = self # error (incorrect)
        self.__a = value
        reveal_type(self.__a) # out_T`2

    def asdf(self, value: in_T) -> out_T: ...


class Bar[in_T, out_T]:
    def __init__(self, *, value: out_T):
        a: Bar[Never, object] = self # no error (correct)
        self.__a: out_T = value
        reveal_type(self.__a) # out_T`2

    def asdf(self, value: in_T) -> out_T: ...

playground

(originally raised in #18118 but i messed up the minimal repro)

Beginne mit der verknüpften mypy-play-Reproduktion und vergleiche die Fälle Foo und Bar, wobei du dich auf die Varianzinferenz konzentrierst, wenn dem privaten Instanzattribut eine Annotation fehlt. Prüfe bei Bedarf den ursprünglichen Kontext in Issue #18118; abgeschlossen ist die Aufgabe, wenn die Foo-Zuweisung nicht mehr den falschen Fehler meldet, während der aufgedeckte Typ weiterhin korrekt ist.