def f(ham: str, eggs: str = 'eggs') -> str:

⚠️ ポイント：これは 型チェックを強制するわけじゃなくて、あくまでメタデータ（注釈）。Python 自体は無視するけど、ツール（mypy とか IDE）で活用できる。

print("Annotations:", f.__annotations__)

f.__annotations__ でアノテーションが辞書として取れる。
出力は：

{'ham': <class 'str'>, 'return': <class 'str'>, 'eggs': <class 'str'>}

つまり：

って情報が残ってる。

f('spam')

✅ まとめると：

ここで質問！
ham: str と書いたけど、実際に f(123) って数字を渡したらどうなると思う？

回答と解説

Python 本体はアノテーションをただの情報（メタデータ）として保存してるだけで、実際の引数チェックはしてくれへん。

だから：

f(123)

って書いたらどうなるかというと…

ham = 123
eggs = 'eggs'

戻り値は

123 and eggs

って評価される。

ただしここで 123 and eggs は論理演算になってしまうから、結果は eggs になる。

エラーにはならんのやけど、意図した動き（文字列連結）にはならんわけやね。