never

• never 类型表示的是那些永不存在的值的类型，
• never 类型是任何类型的子类型，也可以赋值给任何类型；
• 然而，没有类型是 never 的子类型或可以赋值给 never 类型（除了never本身之外），
• 即使any也不可以赋值给never。

使用场景

// 抛出异常的函数永远不会有返回值
function error(message: string): never {
    throw new Error(message);
}

// 空数组，而且永远是空的
const empty: never[] = []