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.