The plan was for TypeScript 5.8 to include improved conditional return type checking, but due to complexities, those changes were deferred to version 5.9. However, 5.8 does retain a related ...