On Fri, Apr 16, 2021 at 5:14 PM Guido van Rossum <guido@python.org> wrote:Or perhapstype:import afrom b import cdef f() -> int: passSure, 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