関数の返り値として使われるとき、ORTの場合返り値の型が関数の実行前に分かったり、一度calleeから実体の型を取得したらその後変わらなかったり、any typeよりもかなり狭いので同じ抽象に乗せると最適化チャンスが減って嬉しくない