nerve

// nerve类型代表不可能有这个类型，例如同时是string和number，会推断为nerve
type a = string & number

// 因为nerve是最底层的类型，前面有了number和void类型会自动忽略nerve类型
type b = number | void | never

// 常用于兜底
type value = 1 | 2 | 3
function fn(value:value) {
  switch (value) {
    case 1:
      break;
    case 2:
      break;
    default:
      // 做兜底判断，当还有没有被判断的类型是会提示报错，提示作用
      const error:never = value
  }
}