长于约束 Outlives bound

形如 a: b 的边界，表示一个生命周期或类型至少在另一生命周期内保持有效。