少なくとも>>159は任意のライフタイムで必ず成立する
成立しないと思う人は反例コードを示せばいい