tf-17.ts

function valueCheck(value: string | number) {
  if (typeof value === "string") {
    // value has type string
  } else if (typeof value === "number") {
    // value has type number
  } else {
    value; // value has type never
  }
}