TypeScript currently can, for example, make an inference for the return type of a call, which can improve the experience and also catch errors. Version 2.4 also now allows enum members to contain ...

With checked returns for conditional and accessed types, TypeScript now supports a limited form of checking against conditional types in return statements, to avoid type assertions.

Microsoft shipped TypeScript 5.8 with improved type checking in some scenarios, but thorny problems caused the dev team to delay related work to the next release.

Microsoft announced TypeScript 4.5 RC, which includes Nightly-Only ECMAScript Module Support in Node.js, and more.