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.

まず、提供された Python の例を再現し、セマンティックアナライザーがクラスのシンボルテーブルと前方参照をどのように処理しているかを調べます。プレースホルダーノードで最初の self.x の代入を保持できるかを検証します。例で競合する型エラーが報告されなくなり、reveal_type(C().x) が int を報告すれば完了です。