先日の #waiwai-swiftc の内容を踏まえると、ORTで使われる真の型はランタイム関数から取得されてその際に実行単位でキャッシュされるので、
foo がたくさん生えるわけではなく foo の返り値の型を取得する関数の内部で分岐が起こるだけ（結果はキャッシュされるので1回だけ）、という感じなのではないでしょうか