Accept new baselines

Author: ahejlsberg

tests/baselines/reference/recursiveMappedTypes.errors.txt

@@ -31,4 +31,14 @@ tests/cases/conformance/types/mapped/recursiveMappedTypes.ts(12,11): error TS231
         [K in keyof Recurse1]: Recurse1[K]
               ~~~~~~~~~~~~~~
 !!! error TS2313: Type parameter 'K' has a circular constraint.
-    }
+    }
+    
+    // Repro from #27881
+    
+    export type Circular<T> = {[P in keyof T]: Circular<T>};
+    type tup = [number, number, number, number];
+    
+    function foo(arg: Circular<tup>): tup {
+      return arg;
+    }
+    

tests/baselines/reference/recursiveMappedTypes.js

@@ -11,19 +11,28 @@ type Recurse1 = {
 
 type Recurse2 = {
     [K in keyof Recurse1]: Recurse1[K]
-}
+}
+
+// Repro from #27881
+
+export type Circular<T> = {[P in keyof T]: Circular<T>};
+type tup = [number, number, number, number];
+
+function foo(arg: Circular<tup>): tup {
+  return arg;
+}
+
 
 //// [recursiveMappedTypes.js]
+"use strict";
 // Recursive mapped types simply appear empty
+exports.__esModule = true;
+function foo(arg) {
+    return arg;
+}
 
 
 //// [recursiveMappedTypes.d.ts]
-declare type Recurse = {
-    [K in keyof Recurse]: Recurse[K];
-};
-declare type Recurse1 = {
-    [K in keyof Recurse2]: Recurse2[K];
-};
-declare type Recurse2 = {
-    [K in keyof Recurse1]: Recurse1[K];
+export declare type Circular<T> = {
+    [P in keyof T]: Circular<T>;
 };

tests/baselines/reference/recursiveMappedTypes.symbols

@@ -30,3 +30,28 @@ type Recurse2 = {
 >Recurse1 : Symbol(Recurse1, Decl(recursiveMappedTypes.ts, 4, 1))
 >K : Symbol(K, Decl(recursiveMappedTypes.ts, 11, 5))
 }
+
+// Repro from #27881
+
+export type Circular<T> = {[P in keyof T]: Circular<T>};
+>Circular : Symbol(Circular, Decl(recursiveMappedTypes.ts, 12, 1))
+>T : Symbol(T, Decl(recursiveMappedTypes.ts, 16, 21))
+>P : Symbol(P, Decl(recursiveMappedTypes.ts, 16, 28))
+>T : Symbol(T, Decl(recursiveMappedTypes.ts, 16, 21))
+>Circular : Symbol(Circular, Decl(recursiveMappedTypes.ts, 12, 1))
+>T : Symbol(T, Decl(recursiveMappedTypes.ts, 16, 21))
+
+type tup = [number, number, number, number];
+>tup : Symbol(tup, Decl(recursiveMappedTypes.ts, 16, 56))
+
+function foo(arg: Circular<tup>): tup {
+>foo : Symbol(foo, Decl(recursiveMappedTypes.ts, 17, 44))
+>arg : Symbol(arg, Decl(recursiveMappedTypes.ts, 19, 13))
+>Circular : Symbol(Circular, Decl(recursiveMappedTypes.ts, 12, 1))
+>tup : Symbol(tup, Decl(recursiveMappedTypes.ts, 16, 56))
+>tup : Symbol(tup, Decl(recursiveMappedTypes.ts, 16, 56))
+
+  return arg;
+>arg : Symbol(arg, Decl(recursiveMappedTypes.ts, 19, 13))
+}
+

tests/baselines/reference/recursiveMappedTypes.types

@@ -18,3 +18,20 @@ type Recurse2 = {
 
     [K in keyof Recurse1]: Recurse1[K]
 }
+
+// Repro from #27881
+
+export type Circular<T> = {[P in keyof T]: Circular<T>};
+>Circular : Circular<T>
+
+type tup = [number, number, number, number];
+>tup : [number, number, number, number]
+
+function foo(arg: Circular<tup>): tup {
+>foo : (arg: [any, any, any, any]) => [number, number, number, number]
+>arg : [any, any, any, any]
+
+  return arg;
+>arg : [any, any, any, any]
+}
+