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