1. Preserved Narrowing in Closure Functions
Prior to TypeScript 5.4, type narrowing performed in an outer scope was frequently wiped clean inside nested closure callbacks because TypeScript assumed the variable might be mutated elsewhere. TypeScript 5.4 now tracks variable assignments to preserve accurate narrowed types within inner functions.
function formatUser(name: string | null) {
if (name !== null) {
// In TypeScript 5.4+, 'name' remains 'string' inside nested closures!
const capitalize = () => name.toUpperCase();
return capitalize();
}
return "ANONYMOUS";
}2. The NoInfer Utility Type
When writing generic TypeScript functions, TypeScript sometimes infers generic type parameters from unexpected argument positions. The NoInfer<T> helper explicitly blocks inference on designated arguments, forcing TypeScript to prioritize primary input values.
function createPalette<C extends string>(colors: C[], defaultColor?: NoInfer<C>) {
return { colors, defaultColor: defaultColor || colors[0] };
}
// Error caught at compile-time: 'purple' is not assignable to 'red' | 'blue'
createPalette(['red', 'blue'], 'purple');3. Native Object.groupBy and Map.groupBy
TypeScript 5.4 adds official type declarations for standard ECMAScript array grouping methods, eliminating the need for third-party utilities like Lodash or Ramda for data categorization pipelines.
4. Performance Enhancements
Compiler optimizations reduce memory overhead during incremental builds by up to 20%, ensuring rapid response times in enterprise monorepos using tools like Turborepo or Nx.
