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