[Typing-sig] Re: Type assignment statement (and extending the annotation syntax)

On Fri, Apr 16, 2021 at 5:14 PM Guido van Rossum <guido@python.org> wrote:

Or perhaps

type: import a from b import c def f() -> int: pass

Sure, that works too!

(You could even add an 'else:' clause. :-)

Since unlike `if TYPE_CHECKING:`, the semantics of `type:` would be that names defined in it are available at runtime (just lazily), I guess the semantics of the `else` would be that it runs eagerly and any names defined in it take precedence over those defined in `type:` at runtime? Carl