From ab797df977398445cd07bec647b055fb52fc8702 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Mon, 17 Dec 2018 14:14:54 -0800
Subject: [PATCH] Add regression test

---
 tests/cases/compiler/genericIsNeverEmptyObject.ts | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/cases/compiler/genericIsNeverEmptyObject.ts

diff --git a/tests/cases/compiler/genericIsNeverEmptyObject.ts b/tests/cases/compiler/genericIsNeverEmptyObject.ts
new file mode 100644
index 00000000000..4431e743e95
--- /dev/null
+++ b/tests/cases/compiler/genericIsNeverEmptyObject.ts
@@ -0,0 +1,11 @@
+// @strict: true
+
+// Repro from #29067
+
+function test<T extends { a: string }>(obj: T) {
+    let { a, ...rest } = obj;
+    return { ...rest, b: a };
+}
+
+let o1 = { a: 'hello', x: 42 };
+let o2: { b: string, x: number } = test(o1);