高阶trait约束 Higher-ranked trait bound

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