JavaScriptPlugins
diff --git a/‎tests/baselines/reference/conditionalTypes1.errors.txt‎
Lines changed: 6 additions & 2 deletions b/‎tests/baselines/reference/conditionalTypes1.errors.txt‎
Lines changed: 6 additions & 2 deletions
diff --git a/‎tests/baselines/reference/conditionalTypes1.js‎
Lines changed: 8 additions & 0 deletions b/‎tests/baselines/reference/conditionalTypes1.js‎
Lines changed: 8 additions & 0 deletions
@@ -64,8 +64,8 @@ tests/cases/conformance/types/conditional/conditionalTypes1.ts(159,5): error TS2
 tests/cases/conformance/types/conditional/conditionalTypes1.ts(160,5): error TS2322: Type 'T' is not assignable to type 'ZeroOf<T>'.
   Type 'string | number' is not assignable to type 'ZeroOf<T>'.
     Type 'string' is not assignable to type 'ZeroOf<T>'.
-tests/cases/conformance/types/conditional/conditionalTypes1.ts(259,9): error TS2403: Subsequent variable declarations must have the same type.  Variable 'z' must be of type 'T1', but here has type 'Foo<T & U>'.
-tests/cases/conformance/types/conditional/conditionalTypes1.ts(284,43): error TS2322: Type 'T95<U>' is not assignable to type 'T94<U>'.
+tests/cases/conformance/types/conditional/conditionalTypes1.ts(263,9): error TS2403: Subsequent variable declarations must have the same type.  Variable 'z' must be of type 'T1', but here has type 'Foo<T & U>'.
+tests/cases/conformance/types/conditional/conditionalTypes1.ts(288,43): error TS2322: Type 'T95<U>' is not assignable to type 'T94<U>'.
   Type 'boolean' is not assignable to type 'true'.
 
 
@@ -374,6 +374,10 @@ tests/cases/conformance/types/conditional/conditionalTypes1.ts(284,43): error TS
         let e = x[0];  // {}
     }
 
+    function f23<T extends string[]>(x: T extends (infer U)[] ? U[] : never) {
+        let e = x[0];  // string
+    }
+    
     // Repros from #21664
 
     type Eq<T, U> = T extends U ? U extends T ? true : false : false;
 
@@ -217,6 +217,10 @@ function f22<T>(x: T extends (infer U)[] ? U[] : never) {
     let e = x[0];  // {}
 }
 
+function f23<T extends string[]>(x: T extends (infer U)[] ? U[] : never) {
+    let e = x[0];  // string
+}
+
 // Repros from #21664
 
 type Eq<T, U> = T extends U ? U extends T ? true : false : false;
@@ -405,6 +409,9 @@ function f21(x, y) {
 function f22(x) {
     var e = x[0]; // {}
 }
+function f23(x) {
+    var e = x[0]; // string
+}
 var convert = function (value) { return value; };
 var convert2 = function (value) { return value; };
 function f31() {
@@ -598,6 +605,7 @@ declare type T50 = IsNever<never>;
 declare type T51 = IsNever<number>;
 declare type T52 = IsNever<any>;
 declare function f22<T>(x: T extends (infer U)[] ? U[] : never): void;
+declare function f23<T extends string[]>(x: T extends (infer U)[] ? U[] : never): void;
 declare type Eq<T, U> = T extends U ? U extends T ? true : false : false;
 declare type T60 = Eq<true, true>;
 declare type T61 = Eq<true, false>;