もしかして、返り値でexistentialで返すときに、タプルの中身を個別の引数での参照返しになってて、 (edited)

3:58 AM

Optionalのフィールドみたいに、型の中に値として持つ表現がまだ決まってないんかな

3:58 AM

あ、でも、var a = foo1() の形のときはローカル変数に展開してるはずか。

3:59 AM

今度調べてみよう

4:05 AM

tackling "reverse generics" first can prevent lack of consideration about internal implementation.

4:05 AM

これに返信もらえるといいですね

4:07 AM

いくら additive とはいえ、 ORT は reverse generics のシュガーなのに ABI は二通りあるとかなりそうな気が。

↑ここまで書いとけば良かったかも