상태 유니온 Exhaustive 구조
never 점검
state.kindloading/success/error 구분
switchkind별 UI 분기
missing case새 상태 추가 시 남은 타입 발생
assertNever컴파일 오류로 누락 감지
state.kind→switch→missing case→assertNever
상태 유니온 Exhaustive 기준
점검
구분 필드모든 상태가 같은 literal key를 가져야 좁혀집니다.
never도달하면 안 되는 남은 타입을 표현합니다.
리팩터링상태가 늘어날 때 UI 누락을 즉시 드러냅니다.
런타임 아님검사의 핵심은 실행 전 타입 단계에서 끝납니다.