>>791
そこにはライフタイム省略版とは書いてないよ
expressionなどからライフタイムを推論できない場合はstaticになると書いてある
（例えばコード例のようなタイプエイリアスの場合など）
playgroundのコードではu2のライフタイムから推論されるからstaticにはならない