TypeScript 5.4 makes inference direction part of an API signature
engineeringtypescriptinferencetypescompilerNoInfer controls which arguments determine a generic type, while closure analysis preserves facts after a final assignment. Both changes improve how TypeScript represents relationships already present in JavaScript code.