まずRustでは以下が常に成り立つという話は合意でいいんだな？
以下に明記されてる前提を満たす反例が出て来ないため

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