TS 5.8: Erasable Syntax 도입을 통한 빌드 파이프라인 최적화 및 타입 추론 정밀도 향상

Context

기존 TypeScript 컴파일러는 Enum 및 Namespace와 같이 Runtime 코드를 생성하는 문법을 포함하여 esbuild, Babel 등 단순 Erasure 기반 도구와의 정합성 문제 발생. 또한 조건부 반환 식의 불분명한 에러 위치 표기와 복잡한 타입 Narrowing 시의 제어 흐름 분석 한계로 인한 개발 생산성 저하가 존재함.

Technical Solution

• --erasableSyntaxOnly 플래그 도입을 통한 Runtime 코드 생성 문법 금지로 Erasure 기반 빌드 도구와의 완벽한 호환성 확보
• Conditional Return Expression에 대한 Granular Checking 적용으로 삼항 연산자 내 개별 브랜치 단위의 정확한 타입 에러 위치 식별
• Node 22+ 환경의 --module node18/nodenext 설정에서 ESM 모듈에 대한 require() 호출 허용을 통한 CommonJS에서 ESM으로의 점진적 마이그레이션 경로 제공
• Control Flow Analysis 개선을 통한 중첩된 typeof 체크 시의 정확한 타입 Narrowing 구현으로 State Machine 및 Redux Reducer 로직의 안정성 강화
• Generic Constraints의 Interface Merging 수정으로 라이브러리 확장 패턴에서 제네릭 제약 조건의 일관성 유지