此意图会将类型形参边界从
where
子句移至形参列表。