From 2dcd83c95427e1ab95839ce82a4eeface9fbf5af Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Wed, 7 Feb 2018 06:57:43 -0800
Subject: [PATCH] Add test

---
 tests/cases/conformance/types/conditional/inferTypes1.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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