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.

まず、提供された TypeScript スニペットを noUnusedLocals を有効にしてコンパイルし、const _: never = color 宣言に対する診断を確認します。この宣言に対する noUnusedLocals の診断を追跡し、期待される exhaustive-switch の動作と比較します。スニペットのコンパイル時に _ が未使用として報告されず、その他の実際に未使用のローカルは引き続き診断されれば完了です。