From 7d11c7fe40b47aa221af6b49762b85337f9e8735 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Sat, 21 May 2016 11:17:47 -0700
Subject: [PATCH] Add regression test

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

diff --git a/tests/cases/compiler/subtypeRelationForNever.ts b/tests/cases/compiler/subtypeRelationForNever.ts
new file mode 100644
index 00000000000..f886d3937ae
--- /dev/null
+++ b/tests/cases/compiler/subtypeRelationForNever.ts
@@ -0,0 +1,6 @@
+function fail(message: string) : never { throw new Error(message); }
+function withFew<a, r>(values: a[], haveFew: (values: a[]) => r, haveNone: (reason: string) => r): r {
+    return values.length > 0 ? haveFew(values) : haveNone('No values.');
+}
+function id<a>(value: a) : a { return value; }
+const result = withFew([1, 2, 3], id, fail); // expected result is number[]