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?

Inizia dalla specifica delle espressioni di tipo e annotazione, in particolare dalla definizione di name e qualified name, e confrontala con l’esempio A.B nell’issue. Esamina come i type checker esistenti interpretano le annotazioni qualificate dalla classe; il lavoro è completo quando la specifica stabilisce chiaramente se i membri della classe sono inclusi e come viene coperto l’esempio.