New semantic analyzer: placeholder nodes from self.x assignment

This test case generates unexpected output:

class C:
    def f(self) -> None:
        self.x: D = D()  # Expression has type "D", variable has type "int"
        self.x: int
        class D: pass

reveal_type(C().x)  # int

The first assignment should take precedence, even though it contains a forward reference. We could probably support this by inserting a placeholder node into the class symbol table.

Follow-up to #6336.

Inizia riproducendo l'esempio Python fornito e analizza come l'analizzatore semantico gestisce le tabelle dei simboli delle classi e i riferimenti in avanti. Verifica se un nodo segnaposto può preservare la prima assegnazione di self.x. Il lavoro è completato quando l'esempio non segnala più l'errore di tipo in conflitto e reveal_type(C().x) segnala int.