diff --git a/tests/baselines/reference/recursiveMappedTypes.js b/tests/baselines/reference/recursiveMappedTypes.js
new file mode 100644
index 00000000000..dfe69457ed7
--- /dev/null
+++ b/tests/baselines/reference/recursiveMappedTypes.js
@@ -0,0 +1,30 @@
+//// [recursiveMappedTypes.ts]
+
+// Recursive mapped types simply appear empty
+
+type Recurse = {
+    [K in keyof Recurse]: Recurse[K]
+}
+
+type Recurse1 = {
+    [K in keyof Recurse2]: Recurse2[K]
+}
+
+type Recurse2 = {
+    [K in keyof Recurse1]: Recurse1[K]
+}
+
+//// [recursiveMappedTypes.js]
+// Recursive mapped types simply appear empty
+
+
+//// [recursiveMappedTypes.d.ts]
+declare type Recurse = {
+    [K in keyof Recurse]: Recurse[K];
+};
+declare type Recurse1 = {
+    [K in keyof Recurse2]: Recurse2[K];
+};
+declare type Recurse2 = {
+    [K in keyof Recurse1]: Recurse1[K];
+};
diff --git a/tests/baselines/reference/recursiveMappedTypes.symbols b/tests/baselines/reference/recursiveMappedTypes.symbols
new file mode 100644
index 00000000000..ae4ca8d9cc9
--- /dev/null
+++ b/tests/baselines/reference/recursiveMappedTypes.symbols
@@ -0,0 +1,33 @@
+=== tests/cases/conformance/types/mapped/recursiveMappedTypes.ts ===
+
+// Recursive mapped types simply appear empty
+
+type Recurse = {
+>Recurse : Symbol(Recurse, Decl(recursiveMappedTypes.ts, 0, 0))
+
+    [K in keyof Recurse]: Recurse[K]
+>K : Symbol(K, Decl(recursiveMappedTypes.ts, 4, 5))
+>Recurse : Symbol(Recurse, Decl(recursiveMappedTypes.ts, 0, 0))
+>Recurse : Symbol(Recurse, Decl(recursiveMappedTypes.ts, 0, 0))
+>K : Symbol(K, Decl(recursiveMappedTypes.ts, 4, 5))
+}
+
+type Recurse1 = {
+>Recurse1 : Symbol(Recurse1, Decl(recursiveMappedTypes.ts, 5, 1))
+
+    [K in keyof Recurse2]: Recurse2[K]
+>K : Symbol(K, Decl(recursiveMappedTypes.ts, 8, 5))
+>Recurse2 : Symbol(Recurse2, Decl(recursiveMappedTypes.ts, 9, 1))
+>Recurse2 : Symbol(Recurse2, Decl(recursiveMappedTypes.ts, 9, 1))
+>K : Symbol(K, Decl(recursiveMappedTypes.ts, 8, 5))
+}
+
+type Recurse2 = {
+>Recurse2 : Symbol(Recurse2, Decl(recursiveMappedTypes.ts, 9, 1))
+
+    [K in keyof Recurse1]: Recurse1[K]
+>K : Symbol(K, Decl(recursiveMappedTypes.ts, 12, 5))
+>Recurse1 : Symbol(Recurse1, Decl(recursiveMappedTypes.ts, 5, 1))
+>Recurse1 : Symbol(Recurse1, Decl(recursiveMappedTypes.ts, 5, 1))
+>K : Symbol(K, Decl(recursiveMappedTypes.ts, 12, 5))
+}
diff --git a/tests/baselines/reference/recursiveMappedTypes.types b/tests/baselines/reference/recursiveMappedTypes.types
new file mode 100644
index 00000000000..2c60bc8b68a
--- /dev/null
+++ b/tests/baselines/reference/recursiveMappedTypes.types
@@ -0,0 +1,33 @@
+=== tests/cases/conformance/types/mapped/recursiveMappedTypes.ts ===
+
+// Recursive mapped types simply appear empty
+
+type Recurse = {
+>Recurse : Recurse
+
+    [K in keyof Recurse]: Recurse[K]
+>K : K
+>Recurse : Recurse
+>Recurse : Recurse
+>K : K
+}
+
+type Recurse1 = {
+>Recurse1 : Recurse1
+
+    [K in keyof Recurse2]: Recurse2[K]
+>K : K
+>Recurse2 : Recurse2
+>Recurse2 : Recurse2
+>K : K
+}
+
+type Recurse2 = {
+>Recurse2 : Recurse2
+
+    [K in keyof Recurse1]: Recurse1[K]
+>K : K
+>Recurse1 : Recurse1
+>Recurse1 : Recurse1
+>K : K
+}