Test coupling of type parameters

Author: amcasey

src/harness/unittests/extractMethods.ts

@@ -600,6 +600,11 @@ namespace A {
     M<T1, T2>(t1: T1, t2: T2) {
         [#|t1.toString()|];
     }
+}`);
+        // Coupled constraints
+        testExtractMethod("extractMethod19",
+            `function F<T, U extends T[], V extends U[]>(v: V) {
+    [#|v.toString()|];
 }`);
     });
 

tests/baselines/reference/extractMethod/extractMethod19.ts

@@ -0,0 +1,19 @@
+// ==ORIGINAL==
+function F<T, U extends T[], V extends U[]>(v: V) {
+    v.toString();
+}
+// ==SCOPE::function 'F'==
+function F<T, U extends T[], V extends U[]>(v: V) {
+    newFunction();
+
+    function newFunction() {
+        v.toString();
+    }
+}
+// ==SCOPE::global scope==
+function F<T, U extends T[], V extends U[]>(v: V) {
+    newFunction<T, U, V>(v);
+}
+function newFunction<T, U extends T[], V extends U[]>(v: V) {
+    v.toString();
+}