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