Class-qualified annotation expressions

The wonderfully useful specification of type annotation expressions describes what kinds of expressions are valid type annotations.

I believe the spec does not include a case which type checkers support, although as we will see this comes down to semantics :)

class A:
    class B:
        pass

x: A.B = A.B()

The A.B annotation seems to fall under the name rule:

| name
      (where name must refer to a valid in-scope class,
       type alias, or TypeVar)

The spec helpfully continues:

Any leaf denoted as name may also be a qualified name (i.e., module '.' name or package '.' module '.' name, with any level of nesting).

The concept of a "qualified name" occurs only in this section, and the parenthetical explanation serves as it's most precise definition, as far as I can tell.

Should we extend the definition of "qualified name" to also include class members? Or maybe I should read the class as a "module" or a "package" and the existing definition suffices?

型およびアノテーション式の仕様、特に name と qualified name の定義から始め、issue の A.B の例と比較してください。既存の型チェッカーがクラス修飾アノテーションをどのように解釈するかを確認してください。仕様にクラスメンバーを含めるかどうかと、例をどのように扱うかが明確に記載されていれば完了です。