【类型挑战】出栈，难度⭐️⭐️

知识运用：

1. 条件类型的使用：文档地址
2. infer关键字也参照条件类型使用的文档
3. 在泛型中对类型做约束：文档地址
4. 索引访问类型：文档地址

题目分析：

题目地址：16-medium-pop 如上图所示，我们需要设计一个通用类型工具来实现JavaScript中数组的Pop操作，将后入栈的数据剔除并返回剩余内容。

题目解答：

测试用例：

1. 第一条用例：输入内容为数组【3,2,1】，执行出栈操作后将会把最后入栈的1剔除，剩余【3,2】；
2. 第二条用例：输入内容为数组【'a','b','c','d'】，执行出栈操作后会把最后入栈的'd'剔除，剩余【'a', 'b', 'c'】；

/* _____________ 测试用例 _____________ */
import type { Equal, Expect } from '@type-challenges/utils'
type cases = [
  Expect<Equal<Pop<[3, 2, 1]>, [3, 2]>>,
  Expect<Equal<Pop<['a', 'b', 'c', 'd' ]>, ['a', 'b', 'c']>>,
]

答案及解析：

1. 老操作，我们使用泛型约束输入类型为任意类型的数组类型；
2. 我们同样使用条件类型配置数组解构的方式得到数组中需要被取出来的部分，定义这部分需要使用infer关键字。

type Pop<T extends any[]> = T extends [...infer R, any] ? R : T;