diff --git a/tests/cases/conformance/types/conditional/inferTypes1.ts b/tests/cases/conformance/types/conditional/inferTypes1.ts
index 370e5b358b6..08c7be5288e 100644
--- a/tests/cases/conformance/types/conditional/inferTypes1.ts
+++ b/tests/cases/conformance/types/conditional/inferTypes1.ts
@@ -84,7 +84,8 @@ type T74<T extends number, U extends string> = { x: T, y: U };
 type T75<T> = T extends T74<infer U, infer U> ? T70<U> | T72<U> | T74<U, U> : never;
 
 type T76<T extends T[], U extends T> = { x: T };
-type T77<T> = T extends T76<infer X, infer Y> ? T76<X, Y>: never;
+type T77<T> = T extends T76<infer X, infer Y> ? T76<X, Y> : never;
+type T78<T> = T extends T76<infer X, infer X> ? T76<X, X> : never;
 
 // Example from #21496