実際の実装としては macro プラグインからの型情報リクエストに応じて必要ならオンデマンドでタイプチェックして返す。circular reference 検知したらエラーを返すみたになるのかなと思ってます、が今のところ議論は進んでないですね。