これはasync呼び出しの時のコルーチンのコード生成に関する話かな？末尾再帰の最適化された時にトレーシングとかがどうなるかは知らないですそこの意味論は変えないように見かけ上は同じように再帰呼び出ししてるようになるのかな？