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?

Comienza con la especificación de expresiones de tipo y anotación, especialmente con la definición de name y qualified name, y compárala con el ejemplo A.B del issue. Revisa cómo interpretan los comprobadores de tipos existentes las anotaciones calificadas por clase; se considerará terminado cuando la especificación indique claramente si se incluyen los miembros de clase y cómo se cubre el ejemplo.