diff --git a/tests/cases/conformance/types/mapped/recursiveMappedTypes.ts b/tests/cases/conformance/types/mapped/recursiveMappedTypes.ts
index 7a78ad9dc4a..188efa2f51a 100644
--- a/tests/cases/conformance/types/mapped/recursiveMappedTypes.ts
+++ b/tests/cases/conformance/types/mapped/recursiveMappedTypes.ts
@@ -12,4 +12,13 @@ type Recurse1 = {
 
 type Recurse2 = {
     [K in keyof Recurse1]: Recurse1[K]
-}
\ No newline at end of file
+}
+
+// Repro from #27881
+
+export type Circular<T> = {[P in keyof T]: Circular<T>};
+type tup = [number, number, number, number];
+
+function foo(arg: Circular<tup>): tup {
+  return arg;
+}