diff --git a/src/harness/unittests/extractMethods.ts b/src/harness/unittests/extractMethods.ts
index 227f6b22b03..a7741a56f59 100644
--- a/src/harness/unittests/extractMethods.ts
+++ b/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()|];
 }`);
     });
 
diff --git a/tests/baselines/reference/extractMethod/extractMethod19.ts b/tests/baselines/reference/extractMethod/extractMethod19.ts
new file mode 100644
index 00000000000..1bf25550172
--- /dev/null
+++ b/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();
+}