infer 递归实现反转数组

有这样的一个类型

type Arr = [1, 2, 3, 4]

想要通过实现一个 type 得到如下的结果

type Arr = [4, 3, 2, 1]

代码如下：

可以发现已经得到的 newArr 为 [4, 3, 2, 1]

思路如下:

1. 首先限制泛型的类型约束为只能是数组类型
2. 通过 infer first 得到数组的第一位，放到新数组的末尾，反复此操作，形成递归 满足结束条件返回该类型