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.

Inizia compilando lo snippet TypeScript fornito con noUnusedLocals abilitato e conferma la diagnostica sulla dichiarazione const _: never = color. Traccia la diagnostica di noUnusedLocals per questa dichiarazione e confrontala con il comportamento previsto di exhaustive-switch. Il lavoro è completato quando lo snippet viene compilato senza segnalare _ come non utilizzato, mentre gli altri locali effettivamente non utilizzati continuano a essere diagnosticati.