Next TypeScript release, due February 25, will support a limited form of checking against conditional and indexed acces types in return statements. Microsoft has moved TypeScript 5.8 into the beta ...