TypeScript 4.8 makes narrowing and inference use stronger evidence
engineeringtypescriptinferencegenericsTypeScript 4.8 simplifies non-nullable generics and extracts literal types from template strings. Its correctness changes also remove inference that could invent information from a binding pattern.