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.

Beginnen Sie damit, das bereitgestellte TypeScript-Snippet mit aktiviertem noUnusedLocals zu kompilieren, und bestätigen Sie die Diagnose bei der Deklaration const _: never = color. Verfolgen Sie die noUnusedLocals-Diagnose für diese Deklaration und vergleichen Sie sie mit dem erwarteten exhaustive-switch-Verhalten. Als erledigt gilt die Aufgabe, wenn das Snippet kompiliert wird, ohne _ als unbenutzt zu melden, während andere tatsächlich unbenutzte lokale Variablen weiterhin diagnostiziert werden.