実行時の処理の追跡がもっと軽い問題で済むから最適化が軽くなると言ってるんだよ。
最初からコストが嵩む問題が魔法によって軽くなるといってるんじゃなくて、いままでしなくてもいい処理をしていた部分が簡略化されるといってるんだ。
コード生成の結果は同じでもコンパイル時間も比較してくれないと話にならないよ。