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.

Commencez par reproduire l’exemple Python fourni et examinez la manière dont l’analyseur sémantique gère les tables de symboles des classes et les références anticipées. Déterminez si un nœud espace réservé peut préserver la première affectation de self.x. La tâche est terminée lorsque l’exemple ne signale plus l’erreur de type en conflit et que reveal_type(C().x) signale int.