俺は>>524のコードで
spawn_unchecked()でも参照を返せることを示した
もちろんunsafe関数だから未定義動作

反例はここまでになく
Rustでは以下が常に成立する

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる