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 };
+}