此意图会将函数实参位置中的 impl Trait 转换为类型形参。