高阶 trait 约束 Higher-ranked trait bound

使用 for 生命周期量化，要求 trait 关系对每个合适生命周期都成立的边界。