Accept new baselines

Author: ahejlsberg

tests/baselines/reference/recursiveResolveTypeMembers.errors.txt

@@ -0,0 +1,19 @@
+tests/cases/compiler/recursiveResolveTypeMembers.ts(4,58): error TS2304: Cannot find name 'H'.
+tests/cases/compiler/recursiveResolveTypeMembers.ts(4,62): error TS2574: A rest element type must be an array type.
+tests/cases/compiler/recursiveResolveTypeMembers.ts(4,79): error TS2304: Cannot find name 'R'.
+
+
+==== tests/cases/compiler/recursiveResolveTypeMembers.ts (3 errors) ====
+    // Repro from #25291
+    
+    type PromisedTuple<L extends any[], U = (...args: L) => void> =
+        U extends (h: infer H, ...args: infer R) => [Promise<H>, ...PromisedTuple<R>] ? [] : []
+                                                             ~
+!!! error TS2304: Cannot find name 'H'.
+                                                                 ~~~~~~~~~~~~~~~~~~~
+!!! error TS2574: A rest element type must be an array type.
+                                                                                  ~
+!!! error TS2304: Cannot find name 'R'.
+    
+    type Promised = PromisedTuple<[1, 2, 3]> 
+    

tests/baselines/reference/recursiveResolveTypeMembers.js

@@ -0,0 +1,11 @@
+//// [recursiveResolveTypeMembers.ts]
+// Repro from #25291
+
+type PromisedTuple<L extends any[], U = (...args: L) => void> =
+    U extends (h: infer H, ...args: infer R) => [Promise<H>, ...PromisedTuple<R>] ? [] : []
+
+type Promised = PromisedTuple<[1, 2, 3]> 
+
+
+//// [recursiveResolveTypeMembers.js]
+// Repro from #25291

tests/baselines/reference/recursiveResolveTypeMembers.symbols

@@ -0,0 +1,23 @@
+=== tests/cases/compiler/recursiveResolveTypeMembers.ts ===
+// Repro from #25291
+
+type PromisedTuple<L extends any[], U = (...args: L) => void> =
+>PromisedTuple : Symbol(PromisedTuple, Decl(recursiveResolveTypeMembers.ts, 0, 0))
+>L : Symbol(L, Decl(recursiveResolveTypeMembers.ts, 2, 19))
+>U : Symbol(U, Decl(recursiveResolveTypeMembers.ts, 2, 35))
+>args : Symbol(args, Decl(recursiveResolveTypeMembers.ts, 2, 41))
+>L : Symbol(L, Decl(recursiveResolveTypeMembers.ts, 2, 19))
+
+    U extends (h: infer H, ...args: infer R) => [Promise<H>, ...PromisedTuple<R>] ? [] : []
+>U : Symbol(U, Decl(recursiveResolveTypeMembers.ts, 2, 35))
+>h : Symbol(h, Decl(recursiveResolveTypeMembers.ts, 3, 15))
+>H : Symbol(H, Decl(recursiveResolveTypeMembers.ts, 3, 23))
+>args : Symbol(args, Decl(recursiveResolveTypeMembers.ts, 3, 26))
+>R : Symbol(R, Decl(recursiveResolveTypeMembers.ts, 3, 41))
+>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --))
+>PromisedTuple : Symbol(PromisedTuple, Decl(recursiveResolveTypeMembers.ts, 0, 0))
+
+type Promised = PromisedTuple<[1, 2, 3]> 
+>Promised : Symbol(Promised, Decl(recursiveResolveTypeMembers.ts, 3, 91))
+>PromisedTuple : Symbol(PromisedTuple, Decl(recursiveResolveTypeMembers.ts, 0, 0))
+

tests/baselines/reference/recursiveResolveTypeMembers.types

@@ -0,0 +1,25 @@
+=== tests/cases/compiler/recursiveResolveTypeMembers.ts ===
+// Repro from #25291
+
+type PromisedTuple<L extends any[], U = (...args: L) => void> =
+>PromisedTuple : PromisedTuple<L, U>
+>L : L
+>U : U
+>args : L
+>L : L
+
+    U extends (h: infer H, ...args: infer R) => [Promise<H>, ...PromisedTuple<R>] ? [] : []
+>U : U
+>h : H
+>H : H
+>args : R
+>R : R
+>Promise : Promise<T>
+>H : No type information available!
+>PromisedTuple : PromisedTuple<L, U>
+>R : No type information available!
+
+type Promised = PromisedTuple<[1, 2, 3]> 
+>Promised : []
+>PromisedTuple : PromisedTuple<L, U>
+