noUnusedLocals throws errors for "never" type.

Search Terms:
nounusedlocals never
nounusedlocals
never
never variable is not used error

Code

//NOTE: nounusedlocals is set to true in tsconfig.
enum Color {
  A,
  B,
}
function f(color: Color) {
  switch(color) {
    case Color.A:
      console.log("White");
      break;
    case Color.B:
      console.log("Black");
      break;
    default:
      const _:never = color;
  }
}

Expected behavior:
Compiles fine, prints nothing

Actual behavior:
Given variable _ is unused. _ is of type never which means it is expected to be never used. It is being declared as a compile time safety to ensure that we have cases over all the Color enum values.

Comienza compilando el fragmento de TypeScript proporcionado con noUnusedLocals habilitado y confirma el diagnóstico en la declaración const _: never = color. Rastrea el diagnóstico de noUnusedLocals para esta declaración y compáralo con el comportamiento esperado de exhaustive-switch. Se considera completado cuando el fragmento se compila sin informar de _ como no utilizado, mientras que otros locales realmente no utilizados siguen siendo diagnosticados.