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.

Commencez par compiler l’extrait TypeScript fourni avec noUnusedLocals activé et confirmez le diagnostic sur la déclaration const _: never = color. Suivez le diagnostic noUnusedLocals pour cette déclaration et comparez-le au comportement attendu de exhaustive-switch. C’est terminé lorsque l’extrait se compile sans signaler _ comme inutilisé, tandis que les autres variables locales réellement inutilisées continuent d’être signalées.