diff --git a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.errors.txt b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.errors.txt
new file mode 100644
index 00000000000..8773f92549f
--- /dev/null
+++ b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.errors.txt
@@ -0,0 +1,13 @@
+tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts(2,32): error TS2322: Type 'T' is not assignable to type 'string'.
+  Type '{ [P in T]: number; }' is not assignable to type 'string'.
+
+
+==== tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts (1 errors) ====
+    // #17847
+    function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {
+                                   ~
+!!! error TS2322: Type 'T' is not assignable to type 'string'.
+!!! error TS2322:   Type '{ [P in T]: number; }' is not assignable to type 'string'.
+        n += v[k];
+    }
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.js b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.js
new file mode 100644
index 00000000000..44954f5c7c2
--- /dev/null
+++ b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.js
@@ -0,0 +1,12 @@
+//// [incorrectRecursiveMappedTypeConstraint.ts]
+// #17847
+function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {
+    n += v[k];
+}
+
+
+//// [incorrectRecursiveMappedTypeConstraint.js]
+// #17847
+function sum(n, v, k) {
+    n += v[k];
+}
diff --git a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.symbols b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.symbols
new file mode 100644
index 00000000000..42cc7b1f4fb
--- /dev/null
+++ b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.symbols
@@ -0,0 +1,21 @@
+=== tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts ===
+// #17847
+function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {
+>sum : Symbol(sum, Decl(incorrectRecursiveMappedTypeConstraint.ts, 0, 0))
+>T : Symbol(T, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 13))
+>P : Symbol(P, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 26))
+>T : Symbol(T, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 13))
+>K : Symbol(K, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 44))
+>T : Symbol(T, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 13))
+>n : Symbol(n, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 64))
+>v : Symbol(v, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 74))
+>T : Symbol(T, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 13))
+>k : Symbol(k, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 80))
+>K : Symbol(K, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 44))
+
+    n += v[k];
+>n : Symbol(n, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 64))
+>v : Symbol(v, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 74))
+>k : Symbol(k, Decl(incorrectRecursiveMappedTypeConstraint.ts, 1, 80))
+}
+
diff --git a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types
new file mode 100644
index 00000000000..9dee691eaf0
--- /dev/null
+++ b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types
@@ -0,0 +1,23 @@
+=== tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts ===
+// #17847
+function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {
+>sum : <T extends { [P in T]: number; }, K extends keyof T>(n: number, v: T, k: K) => void
+>T : T
+>P : P
+>T : T
+>K : K
+>T : T
+>n : number
+>v : T
+>T : T
+>k : K
+>K : K
+
+    n += v[k];
+>n += v[k] : number
+>n : number
+>v[k] : T[K]
+>v : T
+>k : K
+}
+
diff --git a/tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts b/tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts
new file mode 100644
index 00000000000..67e996c975b
--- /dev/null
+++ b/tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts
@@ -0,0 +1,4 @@
+// #17847
+function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {
+    n += v[k];
+}
diff --git a/tests/cases/user/TypeScript-Node-Starter/TypeScript-Node-Starter b/tests/cases/user/TypeScript-Node-Starter/TypeScript-Node-Starter
index 40bdb4eadab..ed149eb0c78 160000
--- a/tests/cases/user/TypeScript-Node-Starter/TypeScript-Node-Starter
+++ b/tests/cases/user/TypeScript-Node-Starter/TypeScript-Node-Starter
@@ -1 +1 @@
-Subproject commit 40bdb4eadabc9fbed7d83e3f26817a931c0763b6
+Subproject commit ed149eb0c787b1195a95b44105822c64bb6eb636