JS: Reduce ExpansiveTypes test

Author: asgerf

javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/ExpansiveTypes.expected

@@ -0,0 +1,77 @@
+| After |
+| AfterX |
+| Before |
+| BeforeX |
+| Box<Expand<T[]>> |
+| Box<S> |
+| Box<S> |
+| Box<T[]> |
+| Box<number> |
+| C<T> |
+| C<T[]> |
+| Expand<T> |
+| Expand<T[]> |
+| ExpandUsingObjectLiteral<T> |
+| ExpandUsingObjectLiteral<T[]> |
+| Expansive<T> |
+| Expansive<T> |
+| Expansive<T[]> |
+| Expansive<T[]> |
+| Expansive<number> |
+| Expansive<string> |
+| ExpansiveA<S> |
+| ExpansiveA<S> |
+| ExpansiveA<T> |
+| ExpansiveA<T> |
+| ExpansiveB<S> |
+| ExpansiveB<S> |
+| ExpansiveB<T> |
+| ExpansiveB<T[]> |
+| ExpansiveB<T[]> |
+| ExpansiveB<number> |
+| ExpansiveByInference<T> |
+| ExpansiveByInference<T[]> |
+| ExpansiveC<T> |
+| ExpansiveC<T> |
+| ExpansiveC<T> |
+| ExpansiveC<T[]> |
+| ExpansiveC<T[]> |
+| ExpansiveC<number> |
+| ExpansiveConstructSignature<T> |
+| ExpansiveConstructSignature<T[]> |
+| ExpansiveD<T> |
+| ExpansiveD<T> |
+| ExpansiveD<T> |
+| ExpansiveD<T> |
+| ExpansiveFunctionType<T> |
+| ExpansiveFunctionType<T[]> |
+| ExpansiveMethod<T> |
+| ExpansiveMethod<T[]> |
+| ExpansiveParameter<T> |
+| ExpansiveParameter<T[]> |
+| ExpansiveSignature<T> |
+| ExpansiveSignature<T[]> |
+| ExpansiveSignatureTypeBound<T> |
+| ExpansiveSignatureTypeBound<T[]> |
+| ExpansiveX<T> |
+| ExpansiveX<T[]> |
+| NonExpansive<Box<number>> |
+| NonExpansive<T> |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |
+| T[] |

javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/ExpansiveTypes.ql

@@ -0,0 +1,4 @@
+import javascript
+
+from TypeReference type
+select type