From 8bc92bd53439982e004fa9b79838aebde2d0cbc9 Mon Sep 17 00:00:00 2001
From: Asger F <asger@semmle.com>
Date: Tue, 2 Oct 2018 15:06:52 +0100
Subject: [PATCH] TS: test case for type expansion through type parameter bound

---
 .../TypeScript/ExpansiveTypes/ExpansiveTypes.expected         | 1 +
 .../TypeScript/ExpansiveTypes/NonExpansiveTypes.expected      | 1 +
 .../TypeScript/ExpansiveTypes/expansive_signature.ts          | 4 ++++
 3 files changed, 6 insertions(+)

diff --git a/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/ExpansiveTypes.expected b/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/ExpansiveTypes.expected
index 152299ee5878..8ced7c1fb7d0 100644
--- a/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/ExpansiveTypes.expected
+++ b/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/ExpansiveTypes.expected
@@ -18,4 +18,5 @@
 | ExpansiveMethod in expansive_signature.ts | has no properties |
 | ExpansiveParameter in expansive_signature.ts | has no properties |
 | ExpansiveSignature in expansive_signature.ts | has no properties |
+| ExpansiveSignatureTypeBound in expansive_signature.ts | has no properties |
 | ExpansiveX in used_from_expansion.ts | has no properties |
diff --git a/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/NonExpansiveTypes.expected b/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/NonExpansiveTypes.expected
index edf58f7f0e15..a150036fa210 100644
--- a/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/NonExpansiveTypes.expected
+++ b/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/NonExpansiveTypes.expected
@@ -25,6 +25,7 @@
 | ExpansiveMethod in expansive_signature.ts | has properties |
 | ExpansiveParameter in expansive_signature.ts | has properties |
 | ExpansiveSignature in expansive_signature.ts | has properties |
+| ExpansiveSignatureTypeBound in expansive_signature.ts | has properties |
 | ExpansiveX in used_from_expansion.ts | has properties |
 | Function in global scope | has properties |
 | Intl.CollatorOptions in global scope | has properties |
diff --git a/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts b/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts
index d0ce77d194c1..6bdfd8e1f2aa 100644
--- a/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts
+++ b/javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts
@@ -19,3 +19,7 @@ interface ExpansiveMethod<T> {
 interface ExpansiveFunctionType<T> {
   x: () => ExpansiveFunctionType<T[]>;
 }
+
+interface ExpansiveSignatureTypeBound<T> {
+  foo : { <G extends ExpansiveSignatureTypeBound<T[]>>(x: G): G };
+}