callee側では真の型を使った素朴なコードが生成されるから（返り値がポインタ渡しになるだけ）最適化によって生成コードが変わるのはcaller側になる

12:40 PM

すごく綺麗な実装っぽい