---
id: wiki-2026-0508-never-타입-never-type
title: never 타입(never type)
category: 10_Wiki/Topics
status: duplicate
canonical_id: typescript-never-type
duplicate_of: "[[Discriminated Unions]]"
aliases: []
source_trust_level: A
confidence_score: 0.9
verification_status: redirected
tags: [duplicate, typescript, type-system]
last_reinforced: 2026-05-10
github_commit: pending
---

# never 타입(never type)

> **이 문서는 [[Discriminated Unions]] 의 중복본입니다 (관련: [[Exhaustiveness-Checking]]).** Canonical 문서로 redirect.

## 핵심 요약
- TypeScript 의 bottom type — 어떤 값도 가질 수 없음.
- 주된 용도:
  1. **Exhaustiveness check** — switch 의 default 에 `_: never = x` 로 누락 detection.
  2. **함수 return type** — 항상 throw 하거나 무한 loop.
  3. **Conditional type 의 reject 분기** — `T extends X ? Y : never`.
- 자세한 패턴 / 코드 예제는 canonical 문서 참조.

## 🔗 Graph
- 부모: [[Discriminated Unions]] · [[Exhaustiveness-Checking]] (canonical)
- Adjacent: [[Excess Property Checking]] · [[Escape Hatch (탈출구)]]

## 🕓 변경 이력
| 날짜 | 변경 |
|---|---|
| 2026-05-08 | Phase 1 |
| 2026-05-10 | 중복 처리 — canonical 문서로 redirect |
