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.

Comienza reproduciendo el ejemplo de Python proporcionado e inspecciona cómo el analizador semántico gestiona las tablas de símbolos de las clases y las referencias adelantadas. Investiga si un nodo marcador de posición puede conservar la primera asignación de self.x. La tarea estará terminada cuando el ejemplo ya no informe del error de tipo en conflicto y reveal_type(C().x) informe de int.