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.

Next TypeScript release, due February 25, will support a limited form of checking against conditional and indexed acces types in return statements.