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(255,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(280,43): error TS2322: Type 'T95<U>' is not assignable to type 'T94<U>'.
+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>'.
   Type 'boolean' is not assignable to type 'true'.
 
 
@@ -370,6 +370,10 @@ tests/cases/conformance/types/conditional/conditionalTypes1.ts(280,43): error TS
     type T51 = IsNever<number>;  // false
     type T52 = IsNever<any>;  // false
 
+    function f22<T>(x: T extends (infer U)[] ? U[] : never) {
+        let e = x[0];  // {}
+    }
+    
     // Repros from #21664
 
     type Eq<T, U> = T extends U ? U extends T ? true : false : false;
 
@@ -213,6 +213,10 @@ type T50 = IsNever<never>;  // true
 type T51 = IsNever<number>;  // false
 type T52 = IsNever<any>;  // false
 
+function f22<T>(x: T extends (infer U)[] ? U[] : never) {
+    let e = x[0];  // {}
+}
+
 // Repros from #21664
 
 type Eq<T, U> = T extends U ? U extends T ? true : false : false;
@@ -398,6 +402,9 @@ function f21(x, y) {
     x = y; // Error
     y = x; // Error
 }
+function f22(x) {
+    var e = x[0]; // {}
+}
 var convert = function (value) { return value; };
 var convert2 = function (value) { return value; };
 function f31() {
@@ -590,6 +597,7 @@ declare type IsNever<T> = [T] extends [never] ? true : false;
 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 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>;