Что такое exhaustiveness-checking?
Используйте при обработке тегированных объединений. Используйте при добавлении новых случаев в дискриминируемые объединения. Используйте, когда операторы переключения должны охватывать все случаи. Источник: marius-townhouse/effective-typescript-skills.