>型アノテーションをコメントに埋め込んで、
>IDEが設定に応じてそれを関数本体部に埋め直してもいい。

これ共有されてますか？具体例を無視しないで教えて。