exhaustiveness-checking

Use never to ensure all cases in a union are handled.

When you add a new variant to a union type, TypeScript can automatically flag every switch statement that needs updating. This catches errors of omission at compile time.

Without exhaustiveness checking, new union variants are silently ignored:

태그된 공용체를 처리할 때 사용합니다. 구별된 공용체에 새 케이스를 추가할 때 사용합니다. 스위치 문이 모든 경우를 포괄해야 하는 경우에 사용합니다. 출처: marius-townhouse/effective-typescript-skills.