From 211a7937b16c7ff41d85609d8b94b22580bf0a9f Mon Sep 17 00:00:00 2001
From: Jake Bailey <5341706+jakebailey@users.noreply.github.com>
Date: Fri, 25 Sep 2026 16:39:28 -0700
Subject: [PATCH 1/2] Cover declaration emit for recursive arrays and tuples

Recursive arrays and tuples need bounded structural serialization during
both declaration emit and incremental signature generation. Record cold
and unchanged builds before exercising the previously hanging edits.

For 63825
---
 tsc/internal/execute/tsctests/tsc_test.go     |  22 +
 ...ntainerDeclarationSerialization.errors.txt |  48 ++
 ...ursiveContainerDeclarationSerialization.js |  68 ++
 ...eContainerDeclarationSerialization.symbols |  88 +++
 ...iveContainerDeclarationSerialization.types |  86 ++
 .../conformance/conditionalTypes1.errors.txt  |  22 +-
 .../conformance/conditionalTypes1.js          |  40 +
 .../conformance/conditionalTypes1.symbols     | 748 ++++++++++--------
 .../conformance/conditionalTypes1.types       |  34 +
 ...ve-tagged-tuple-after-incremental-edits.js | 138 ++++
 ...ursiveContainerDeclarationSerialization.ts |  36 +
 .../types/conditional/conditionalTypes1.ts    |  16 +
 12 files changed, 997 insertions(+), 349 deletions(-)
 create mode 100644 tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.errors.txt
 create mode 100644 tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.js
 create mode 100644 tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.symbols
 create mode 100644 tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.types
 create mode 100644 tsc/testdata/baselines/reference/tsc/incremental/recursive-tagged-tuple-after-incremental-edits.js
 create mode 100644 tsc/testdata/tests/cases/compiler/recursiveContainerDeclarationSerialization.ts

diff --git a/tsc/internal/execute/tsctests/tsc_test.go b/tsc/internal/execute/tsctests/tsc_test.go
index c7600ac875577..1d98f2c9684cc 100644
--- a/tsc/internal/execute/tsctests/tsc_test.go
+++ b/tsc/internal/execute/tsctests/tsc_test.go
@@ -2432,6 +2432,28 @@ func TestTscIncremental(t *testing.T) {
 				noChange,
 			},
 		},
+		{
+			subScenario: "recursive tagged tuple after incremental edits",
+			files: FileMap{
+				"/home/src/workspaces/project/tsconfig.json": `{"compilerOptions": {"strict": true, "incremental": true, "noEmit": true, "module": "esnext", "moduleResolution": "bundler"}}`,
+				tscLibPath + "/lib.es2026.full.d.ts":         libWithReadonlyArray,
+				"/home/src/workspaces/project/doc.ts": stringtestutil.Dedent(`
+					type Doc =
+						| string
+						| { [k: string]: Doc }
+						| readonly ["array", Doc]
+						| readonly ["array", Doc, { length: number }]
+						| readonly ["array", Doc, { min?: number; max?: number }]
+						| readonly ["union", Doc, ...Doc[]];
+					export declare const doc: Doc;
+				`),
+				"/home/src/workspaces/project/consumer.ts": stringtestutil.Dedent(`
+					import { doc } from "./doc";
+					export const value = doc;
+				`),
+			},
+			edits: []*tscEdit{noChange},
+		},
 		{
 			subScenario: "json module diagnostics are cleared after fixing the json file",
 			files: FileMap{
diff --git a/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.errors.txt b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.errors.txt
new file mode 100644
index 0000000000000..76209cfdb022f
--- /dev/null
+++ b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.errors.txt
@@ -0,0 +1,48 @@
+local.ts(1,17): error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+local.ts(5,17): error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+local.ts(9,17): error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+local.ts(13,17): error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+
+
+==== local.ts (4 errors) ====
+    export function array() {
+                    ~~~~~
+!!! error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+        type Recursive = Recursive[];
+        return null as unknown as Recursive;
+    }
+    export function tuple() {
+                    ~~~~~
+!!! error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+        type Recursive = [Recursive];
+        return null as unknown as Recursive;
+    }
+    export function readonlyTuple() {
+                    ~~~~~~~~~~~~~
+!!! error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+        type Recursive = readonly [Recursive];
+        return null as unknown as Recursive;
+    }
+    export function union() {
+                    ~~~~~
+!!! error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+        type Recursive = string | Recursive[];
+        return null as unknown as Recursive;
+    }
+    
+==== nameable.ts (0 errors) ====
+    export type RecursiveArray = RecursiveArray[];
+    export type RecursiveTuple = readonly [RecursiveTuple];
+    declare const array: RecursiveArray;
+    declare const tuple: RecursiveTuple;
+    export const namedArray = array;
+    export const namedTuple = tuple;
+    export function finite() {
+        type Nested = [[[[[[[[[[[[[number]]]]]]]]]]]]];
+        return null as unknown as Nested;
+    }
+    export function finiteArray() {
+        type Nested = number[][][][][][][][][][][][][];
+        return null as unknown as Nested;
+    }
+    
\ No newline at end of file
diff --git a/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.js b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.js
new file mode 100644
index 0000000000000..41639f70320d7
--- /dev/null
+++ b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.js
@@ -0,0 +1,68 @@
+//// [tests/cases/compiler/recursiveContainerDeclarationSerialization.ts] ////
+
+//// [local.ts]
+export function array() {
+    type Recursive = Recursive[];
+    return null as unknown as Recursive;
+}
+export function tuple() {
+    type Recursive = [Recursive];
+    return null as unknown as Recursive;
+}
+export function readonlyTuple() {
+    type Recursive = readonly [Recursive];
+    return null as unknown as Recursive;
+}
+export function union() {
+    type Recursive = string | Recursive[];
+    return null as unknown as Recursive;
+}
+
+//// [nameable.ts]
+export type RecursiveArray = RecursiveArray[];
+export type RecursiveTuple = readonly [RecursiveTuple];
+declare const array: RecursiveArray;
+declare const tuple: RecursiveTuple;
+export const namedArray = array;
+export const namedTuple = tuple;
+export function finite() {
+    type Nested = [[[[[[[[[[[[[number]]]]]]]]]]]]];
+    return null as unknown as Nested;
+}
+export function finiteArray() {
+    type Nested = number[][][][][][][][][][][][][];
+    return null as unknown as Nested;
+}
+
+
+//// [local.js]
+export function array() {
+    return null;
+}
+export function tuple() {
+    return null;
+}
+export function readonlyTuple() {
+    return null;
+}
+export function union() {
+    return null;
+}
+//// [nameable.js]
+export const namedArray = array;
+export const namedTuple = tuple;
+export function finite() {
+    return null;
+}
+export function finiteArray() {
+    return null;
+}
+
+
+//// [nameable.d.ts]
+export type RecursiveArray = RecursiveArray[];
+export type RecursiveTuple = readonly [RecursiveTuple];
+export declare const namedArray: RecursiveArray;
+export declare const namedTuple: RecursiveTuple;
+export declare function finite(): [[[[[[[[[[[[[number]]]]]]]]]]]]];
+export declare function finiteArray(): number[][][][][][][][][][][][][];
diff --git a/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.symbols b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.symbols
new file mode 100644
index 0000000000000..5d20937ee8126
--- /dev/null
+++ b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.symbols
@@ -0,0 +1,88 @@
+//// [tests/cases/compiler/recursiveContainerDeclarationSerialization.ts] ////
+
+=== local.ts ===
+export function array() {
+>array : Symbol(array, Decl(local.ts, 0, 0))
+
+    type Recursive = Recursive[];
+>Recursive : Symbol(Recursive, Decl(local.ts, 0, 25))
+>Recursive : Symbol(Recursive, Decl(local.ts, 0, 25))
+
+    return null as unknown as Recursive;
+>Recursive : Symbol(Recursive, Decl(local.ts, 0, 25))
+}
+export function tuple() {
+>tuple : Symbol(tuple, Decl(local.ts, 3, 1))
+
+    type Recursive = [Recursive];
+>Recursive : Symbol(Recursive, Decl(local.ts, 4, 25))
+>Recursive : Symbol(Recursive, Decl(local.ts, 4, 25))
+
+    return null as unknown as Recursive;
+>Recursive : Symbol(Recursive, Decl(local.ts, 4, 25))
+}
+export function readonlyTuple() {
+>readonlyTuple : Symbol(readonlyTuple, Decl(local.ts, 7, 1))
+
+    type Recursive = readonly [Recursive];
+>Recursive : Symbol(Recursive, Decl(local.ts, 8, 33))
+>Recursive : Symbol(Recursive, Decl(local.ts, 8, 33))
+
+    return null as unknown as Recursive;
+>Recursive : Symbol(Recursive, Decl(local.ts, 8, 33))
+}
+export function union() {
+>union : Symbol(union, Decl(local.ts, 11, 1))
+
+    type Recursive = string | Recursive[];
+>Recursive : Symbol(Recursive, Decl(local.ts, 12, 25))
+>Recursive : Symbol(Recursive, Decl(local.ts, 12, 25))
+
+    return null as unknown as Recursive;
+>Recursive : Symbol(Recursive, Decl(local.ts, 12, 25))
+}
+
+=== nameable.ts ===
+export type RecursiveArray = RecursiveArray[];
+>RecursiveArray : Symbol(RecursiveArray, Decl(nameable.ts, 0, 0))
+>RecursiveArray : Symbol(RecursiveArray, Decl(nameable.ts, 0, 0))
+
+export type RecursiveTuple = readonly [RecursiveTuple];
+>RecursiveTuple : Symbol(RecursiveTuple, Decl(nameable.ts, 0, 46))
+>RecursiveTuple : Symbol(RecursiveTuple, Decl(nameable.ts, 0, 46))
+
+declare const array: RecursiveArray;
+>array : Symbol(array, Decl(nameable.ts, 2, 13))
+>RecursiveArray : Symbol(RecursiveArray, Decl(nameable.ts, 0, 0))
+
+declare const tuple: RecursiveTuple;
+>tuple : Symbol(tuple, Decl(nameable.ts, 3, 13))
+>RecursiveTuple : Symbol(RecursiveTuple, Decl(nameable.ts, 0, 46))
+
+export const namedArray = array;
+>namedArray : Symbol(namedArray, Decl(nameable.ts, 4, 12))
+>array : Symbol(array, Decl(nameable.ts, 2, 13))
+
+export const namedTuple = tuple;
+>namedTuple : Symbol(namedTuple, Decl(nameable.ts, 5, 12))
+>tuple : Symbol(tuple, Decl(nameable.ts, 3, 13))
+
+export function finite() {
+>finite : Symbol(finite, Decl(nameable.ts, 5, 32))
+
+    type Nested = [[[[[[[[[[[[[number]]]]]]]]]]]]];
+>Nested : Symbol(Nested, Decl(nameable.ts, 6, 26))
+
+    return null as unknown as Nested;
+>Nested : Symbol(Nested, Decl(nameable.ts, 6, 26))
+}
+export function finiteArray() {
+>finiteArray : Symbol(finiteArray, Decl(nameable.ts, 9, 1))
+
+    type Nested = number[][][][][][][][][][][][][];
+>Nested : Symbol(Nested, Decl(nameable.ts, 10, 31))
+
+    return null as unknown as Nested;
+>Nested : Symbol(Nested, Decl(nameable.ts, 10, 31))
+}
+
diff --git a/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.types b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.types
new file mode 100644
index 0000000000000..577fcb7308b0a
--- /dev/null
+++ b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.types
@@ -0,0 +1,86 @@
+//// [tests/cases/compiler/recursiveContainerDeclarationSerialization.ts] ////
+
+=== local.ts ===
+export function array() {
+>array : () => any[][][][][][][][][][][]
+
+    type Recursive = Recursive[];
+>Recursive : any[][][][][][][][][][][]
+
+    return null as unknown as Recursive;
+>null as unknown as Recursive : any[][][][][][][][][][][]
+>null as unknown : unknown
+}
+export function tuple() {
+>tuple : () => [[[[[[[[[[[any]]]]]]]]]]]
+
+    type Recursive = [Recursive];
+>Recursive : [[[[[[[[[[[any]]]]]]]]]]]
+
+    return null as unknown as Recursive;
+>null as unknown as Recursive : [[[[[[[[[[[any]]]]]]]]]]]
+>null as unknown : unknown
+}
+export function readonlyTuple() {
+>readonlyTuple : () => readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [any]]]]]]]]]]]
+
+    type Recursive = readonly [Recursive];
+>Recursive : readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [any]]]]]]]]]]]
+
+    return null as unknown as Recursive;
+>null as unknown as Recursive : readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [any]]]]]]]]]]]
+>null as unknown : unknown
+}
+export function union() {
+>union : () => string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | any)[])[])[])[])[])[])[])[])[])[])[]
+
+    type Recursive = string | Recursive[];
+>Recursive : string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | any)[])[])[])[])[])[])[])[])[])[])[]
+
+    return null as unknown as Recursive;
+>null as unknown as Recursive : string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | any)[])[])[])[])[])[])[])[])[])[])[]
+>null as unknown : unknown
+}
+
+=== nameable.ts ===
+export type RecursiveArray = RecursiveArray[];
+>RecursiveArray : RecursiveArray
+
+export type RecursiveTuple = readonly [RecursiveTuple];
+>RecursiveTuple : RecursiveTuple
+
+declare const array: RecursiveArray;
+>array : RecursiveArray
+
+declare const tuple: RecursiveTuple;
+>tuple : RecursiveTuple
+
+export const namedArray = array;
+>namedArray : RecursiveArray
+>array : RecursiveArray
+
+export const namedTuple = tuple;
+>namedTuple : RecursiveTuple
+>tuple : RecursiveTuple
+
+export function finite() {
+>finite : () => [[[[[[[[[[[[[number]]]]]]]]]]]]]
+
+    type Nested = [[[[[[[[[[[[[number]]]]]]]]]]]]];
+>Nested : [[[[[[[[[[[[[number]]]]]]]]]]]]]
+
+    return null as unknown as Nested;
+>null as unknown as Nested : [[[[[[[[[[[[[number]]]]]]]]]]]]]
+>null as unknown : unknown
+}
+export function finiteArray() {
+>finiteArray : () => number[][][][][][][][][][][][][]
+
+    type Nested = number[][][][][][][][][][][][][];
+>Nested : number[][][][][][][][][][][][][]
+
+    return null as unknown as Nested;
+>null as unknown as Nested : number[][][][][][][][][][][][][]
+>null as unknown : unknown
+}
+
diff --git a/tsc/testdata/baselines/reference/conformance/conditionalTypes1.errors.txt b/tsc/testdata/baselines/reference/conformance/conditionalTypes1.errors.txt
index aa2ae24033b16..4cff79787477b 100644
--- a/tsc/testdata/baselines/reference/conformance/conditionalTypes1.errors.txt
+++ b/tsc/testdata/baselines/reference/conformance/conditionalTypes1.errors.txt
@@ -72,8 +72,8 @@ conditionalTypes1.ts(159,5): error TS2322: Type 'ZeroOf<T>' is not assignable to
 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>'.
-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>'.
-conditionalTypes1.ts(288,43): error TS2322: Type 'T95<U>' is not assignable to type 'T94<U>'.
+conditionalTypes1.ts(279,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>'.
+conditionalTypes1.ts(304,43): error TS2322: Type 'T95<U>' is not assignable to type 'T94<U>'.
   Type 'number | boolean' is not assignable to type 'T94<U>'.
     Type 'number' is not assignable to type 'T94<U>'.
       Type 'boolean' is not assignable to type 'true'.
@@ -396,6 +396,22 @@ conditionalTypes1.ts(288,43): error TS2322: Type 'T95<U>' is not assignable to t
         let e = x[0];  // string
     }
     
+    function inferTuple<T>(x: T extends [infer U, infer V] ? [U, V] : never) {
+        return x;
+    }
+    
+    function inferObject<T>(x: T extends { value: infer U } ? { value: U } : never) {
+        return x;
+    }
+    
+    function inferFunction<T>(x: T extends () => infer U ? () => U : never) {
+        return x;
+    }
+    
+    function inferNested<T>(x: T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never) {
+        return x;
+    }
+    
     // Repros from #21664
     
     type Eq<T, U> = T extends U ? U extends T ? true : false : false;
@@ -439,7 +455,7 @@ conditionalTypes1.ts(288,43): error TS2322: Type 'T95<U>' is not assignable to t
         var z: T2;  // Error, T2 is distributive, T1 isn't
             ~
 !!! error TS2403: Subsequent variable declarations must have the same type.  Variable 'z' must be of type 'T1', but here has type 'Foo<T & U>'.
-!!! related TS6203 conditionalTypes1.ts:262:9: 'z' was also declared here.
+!!! related TS6203 conditionalTypes1.ts:278:9: 'z' was also declared here.
     }
     
     function f33<T, U>() {
diff --git a/tsc/testdata/baselines/reference/conformance/conditionalTypes1.js b/tsc/testdata/baselines/reference/conformance/conditionalTypes1.js
index 0e09cc139f003..95cd9db4ad0a9 100644
--- a/tsc/testdata/baselines/reference/conformance/conditionalTypes1.js
+++ b/tsc/testdata/baselines/reference/conformance/conditionalTypes1.js
@@ -223,6 +223,22 @@ function f23<T extends string[]>(x: T extends (infer U)[] ? U[] : never) {
     let e = x[0];  // string
 }
 
+function inferTuple<T>(x: T extends [infer U, infer V] ? [U, V] : never) {
+    return x;
+}
+
+function inferObject<T>(x: T extends { value: infer U } ? { value: U } : never) {
+    return x;
+}
+
+function inferFunction<T>(x: T extends () => infer U ? () => U : never) {
+    return x;
+}
+
+function inferNested<T>(x: T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never) {
+    return x;
+}
+
 // Repros from #21664
 
 type Eq<T, U> = T extends U ? U extends T ? true : false : false;
@@ -434,6 +450,18 @@ function f22(x) {
 function f23(x) {
     let e = x[0]; // string
 }
+function inferTuple(x) {
+    return x;
+}
+function inferObject(x) {
+    return x;
+}
+function inferFunction(x) {
+    return x;
+}
+function inferNested(x) {
+    return x;
+}
 const convert = (value) => value;
 const convert2 = (value) => value;
 function f31() {
@@ -630,6 +658,18 @@ type T51 = IsNever<number>;
 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 function inferTuple<T>(x: T extends [infer U, infer V] ? [U, V] : never): T extends [infer U, infer V] ? [U, V] : never;
+declare function inferObject<T>(x: T extends {
+    value: infer U;
+} ? {
+    value: U;
+} : never): T extends {
+    value: infer U;
+} ? {
+    value: U;
+} : never;
+declare function inferFunction<T>(x: T extends () => infer U ? () => U : never): T extends () => infer U ? () => U : never;
+declare function inferNested<T>(x: T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never): T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never;
 type Eq<T, U> = T extends U ? U extends T ? true : false : false;
 type T60 = Eq<true, true>;
 type T61 = Eq<true, false>;
diff --git a/tsc/testdata/baselines/reference/conformance/conditionalTypes1.symbols b/tsc/testdata/baselines/reference/conformance/conditionalTypes1.symbols
index a7e3ebed3920c..0cdffaab573a6 100644
--- a/tsc/testdata/baselines/reference/conformance/conditionalTypes1.symbols
+++ b/tsc/testdata/baselines/reference/conformance/conditionalTypes1.symbols
@@ -847,556 +847,612 @@ function f23<T extends string[]>(x: T extends (infer U)[] ? U[] : never) {
 >x : Symbol(x, Decl(conditionalTypes1.ts, 218, 33))
 }
 
+function inferTuple<T>(x: T extends [infer U, infer V] ? [U, V] : never) {
+>inferTuple : Symbol(inferTuple, Decl(conditionalTypes1.ts, 220, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 222, 20))
+>x : Symbol(x, Decl(conditionalTypes1.ts, 222, 23))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 222, 20))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 222, 42))
+>V : Symbol(V, Decl(conditionalTypes1.ts, 222, 51))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 222, 42))
+>V : Symbol(V, Decl(conditionalTypes1.ts, 222, 51))
+
+    return x;
+>x : Symbol(x, Decl(conditionalTypes1.ts, 222, 23))
+}
+
+function inferObject<T>(x: T extends { value: infer U } ? { value: U } : never) {
+>inferObject : Symbol(inferObject, Decl(conditionalTypes1.ts, 224, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 226, 21))
+>x : Symbol(x, Decl(conditionalTypes1.ts, 226, 24))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 226, 21))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 226, 38))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 226, 51))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 226, 59))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 226, 51))
+
+    return x;
+>x : Symbol(x, Decl(conditionalTypes1.ts, 226, 24))
+}
+
+function inferFunction<T>(x: T extends () => infer U ? () => U : never) {
+>inferFunction : Symbol(inferFunction, Decl(conditionalTypes1.ts, 228, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 230, 23))
+>x : Symbol(x, Decl(conditionalTypes1.ts, 230, 26))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 230, 23))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 230, 50))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 230, 50))
+
+    return x;
+>x : Symbol(x, Decl(conditionalTypes1.ts, 230, 26))
+}
+
+function inferNested<T>(x: T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never) {
+>inferNested : Symbol(inferNested, Decl(conditionalTypes1.ts, 232, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 234, 21))
+>x : Symbol(x, Decl(conditionalTypes1.ts, 234, 24))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 234, 21))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 234, 43))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 234, 43))
+>V : Symbol(V, Decl(conditionalTypes1.ts, 234, 67))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 234, 43))
+>V : Symbol(V, Decl(conditionalTypes1.ts, 234, 67))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 234, 43))
+
+    return x;
+>x : Symbol(x, Decl(conditionalTypes1.ts, 234, 24))
+}
+
 // Repros from #21664
 
 type Eq<T, U> = T extends U ? U extends T ? true : false : false;
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 220, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 224, 8))
->U : Symbol(U, Decl(conditionalTypes1.ts, 224, 10))
->T : Symbol(T, Decl(conditionalTypes1.ts, 224, 8))
->U : Symbol(U, Decl(conditionalTypes1.ts, 224, 10))
->U : Symbol(U, Decl(conditionalTypes1.ts, 224, 10))
->T : Symbol(T, Decl(conditionalTypes1.ts, 224, 8))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 236, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 240, 8))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 240, 10))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 240, 8))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 240, 10))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 240, 10))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 240, 8))
 
 type T60 = Eq<true, true>;  // true
->T60 : Symbol(T60, Decl(conditionalTypes1.ts, 224, 65))
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 220, 1))
+>T60 : Symbol(T60, Decl(conditionalTypes1.ts, 240, 65))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 236, 1))
 
 type T61 = Eq<true, false>;  // false
->T61 : Symbol(T61, Decl(conditionalTypes1.ts, 225, 26))
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 220, 1))
+>T61 : Symbol(T61, Decl(conditionalTypes1.ts, 241, 26))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 236, 1))
 
 type T62 = Eq<false, true>;  // false
->T62 : Symbol(T62, Decl(conditionalTypes1.ts, 226, 27))
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 220, 1))
+>T62 : Symbol(T62, Decl(conditionalTypes1.ts, 242, 27))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 236, 1))
 
 type T63 = Eq<false, false>;  // true
->T63 : Symbol(T63, Decl(conditionalTypes1.ts, 227, 27))
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 220, 1))
+>T63 : Symbol(T63, Decl(conditionalTypes1.ts, 243, 27))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 236, 1))
 
 type Eq1<T, U> = Eq<T, U> extends false ? false : true;
->Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
->T : Symbol(T, Decl(conditionalTypes1.ts, 230, 9))
->U : Symbol(U, Decl(conditionalTypes1.ts, 230, 11))
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 220, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 230, 9))
->U : Symbol(U, Decl(conditionalTypes1.ts, 230, 11))
+>Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 244, 28))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 246, 9))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 246, 11))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 236, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 246, 9))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 246, 11))
 
 type T70 = Eq1<true, true>;  // true
->T70 : Symbol(T70, Decl(conditionalTypes1.ts, 230, 55))
->Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
+>T70 : Symbol(T70, Decl(conditionalTypes1.ts, 246, 55))
+>Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 244, 28))
 
 type T71 = Eq1<true, false>;  // false
->T71 : Symbol(T71, Decl(conditionalTypes1.ts, 231, 27))
->Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
+>T71 : Symbol(T71, Decl(conditionalTypes1.ts, 247, 27))
+>Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 244, 28))
 
 type T72 = Eq1<false, true>;  // false
->T72 : Symbol(T72, Decl(conditionalTypes1.ts, 232, 28))
->Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
+>T72 : Symbol(T72, Decl(conditionalTypes1.ts, 248, 28))
+>Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 244, 28))
 
 type T73 = Eq1<false, false>;  // true
->T73 : Symbol(T73, Decl(conditionalTypes1.ts, 233, 28))
->Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
+>T73 : Symbol(T73, Decl(conditionalTypes1.ts, 249, 28))
+>Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 244, 28))
 
 type Eq2<T, U> = Eq<T, U> extends true ? true : false;
->Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 234, 29))
->T : Symbol(T, Decl(conditionalTypes1.ts, 236, 9))
->U : Symbol(U, Decl(conditionalTypes1.ts, 236, 11))
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 220, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 236, 9))
->U : Symbol(U, Decl(conditionalTypes1.ts, 236, 11))
+>Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 250, 29))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 252, 9))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 252, 11))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 236, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 252, 9))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 252, 11))
 
 type T80 = Eq2<true, true>;  // true
->T80 : Symbol(T80, Decl(conditionalTypes1.ts, 236, 54))
->Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 234, 29))
+>T80 : Symbol(T80, Decl(conditionalTypes1.ts, 252, 54))
+>Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 250, 29))
 
 type T81 = Eq2<true, false>;  // false
->T81 : Symbol(T81, Decl(conditionalTypes1.ts, 237, 27))
->Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 234, 29))
+>T81 : Symbol(T81, Decl(conditionalTypes1.ts, 253, 27))
+>Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 250, 29))
 
 type T82 = Eq2<false, true>;  // false
->T82 : Symbol(T82, Decl(conditionalTypes1.ts, 238, 28))
->Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 234, 29))
+>T82 : Symbol(T82, Decl(conditionalTypes1.ts, 254, 28))
+>Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 250, 29))
 
 type T83 = Eq2<false, false>;  // true
->T83 : Symbol(T83, Decl(conditionalTypes1.ts, 239, 28))
->Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 234, 29))
+>T83 : Symbol(T83, Decl(conditionalTypes1.ts, 255, 28))
+>Eq2 : Symbol(Eq2, Decl(conditionalTypes1.ts, 250, 29))
 
 // Repro from #21756
 
 type Foo<T> = T extends string ? boolean : number;
->Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 240, 29))
->T : Symbol(T, Decl(conditionalTypes1.ts, 244, 9))
->T : Symbol(T, Decl(conditionalTypes1.ts, 244, 9))
+>Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 256, 29))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 260, 9))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 260, 9))
 
 type Bar<T> = T extends string ? boolean : number;
->Bar : Symbol(Bar, Decl(conditionalTypes1.ts, 244, 50))
->T : Symbol(T, Decl(conditionalTypes1.ts, 245, 9))
->T : Symbol(T, Decl(conditionalTypes1.ts, 245, 9))
+>Bar : Symbol(Bar, Decl(conditionalTypes1.ts, 260, 50))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 261, 9))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 261, 9))
 
 const convert = <U>(value: Foo<U>): Bar<U> => value;
->convert : Symbol(convert, Decl(conditionalTypes1.ts, 246, 5))
->U : Symbol(U, Decl(conditionalTypes1.ts, 246, 17))
->value : Symbol(value, Decl(conditionalTypes1.ts, 246, 20))
->Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 240, 29))
->U : Symbol(U, Decl(conditionalTypes1.ts, 246, 17))
->Bar : Symbol(Bar, Decl(conditionalTypes1.ts, 244, 50))
->U : Symbol(U, Decl(conditionalTypes1.ts, 246, 17))
->value : Symbol(value, Decl(conditionalTypes1.ts, 246, 20))
+>convert : Symbol(convert, Decl(conditionalTypes1.ts, 262, 5))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 262, 17))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 262, 20))
+>Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 256, 29))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 262, 17))
+>Bar : Symbol(Bar, Decl(conditionalTypes1.ts, 260, 50))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 262, 17))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 262, 20))
 
 type Baz<T> = Foo<T>;
->Baz : Symbol(Baz, Decl(conditionalTypes1.ts, 246, 52))
->T : Symbol(T, Decl(conditionalTypes1.ts, 248, 9))
->Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 240, 29))
->T : Symbol(T, Decl(conditionalTypes1.ts, 248, 9))
+>Baz : Symbol(Baz, Decl(conditionalTypes1.ts, 262, 52))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 264, 9))
+>Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 256, 29))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 264, 9))
 
 const convert2 = <T>(value: Foo<T>): Baz<T> => value;
->convert2 : Symbol(convert2, Decl(conditionalTypes1.ts, 249, 5))
->T : Symbol(T, Decl(conditionalTypes1.ts, 249, 18))
->value : Symbol(value, Decl(conditionalTypes1.ts, 249, 21))
->Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 240, 29))
->T : Symbol(T, Decl(conditionalTypes1.ts, 249, 18))
->Baz : Symbol(Baz, Decl(conditionalTypes1.ts, 246, 52))
->T : Symbol(T, Decl(conditionalTypes1.ts, 249, 18))
->value : Symbol(value, Decl(conditionalTypes1.ts, 249, 21))
+>convert2 : Symbol(convert2, Decl(conditionalTypes1.ts, 265, 5))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 265, 18))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 265, 21))
+>Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 256, 29))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 265, 18))
+>Baz : Symbol(Baz, Decl(conditionalTypes1.ts, 262, 52))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 265, 18))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 265, 21))
 
 function f31<T>() {
->f31 : Symbol(f31, Decl(conditionalTypes1.ts, 249, 53))
->T : Symbol(T, Decl(conditionalTypes1.ts, 251, 13))
+>f31 : Symbol(f31, Decl(conditionalTypes1.ts, 265, 53))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 267, 13))
 
     type T1 = T extends string ? boolean : number;
->T1 : Symbol(T1, Decl(conditionalTypes1.ts, 251, 19))
->T : Symbol(T, Decl(conditionalTypes1.ts, 251, 13))
+>T1 : Symbol(T1, Decl(conditionalTypes1.ts, 267, 19))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 267, 13))
 
     type T2 = T extends string ? boolean : number;
->T2 : Symbol(T2, Decl(conditionalTypes1.ts, 252, 50))
->T : Symbol(T, Decl(conditionalTypes1.ts, 251, 13))
+>T2 : Symbol(T2, Decl(conditionalTypes1.ts, 268, 50))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 267, 13))
 
     var x: T1;
->x : Symbol(x, Decl(conditionalTypes1.ts, 254, 7), Decl(conditionalTypes1.ts, 255, 7))
->T1 : Symbol(T1, Decl(conditionalTypes1.ts, 251, 19))
+>x : Symbol(x, Decl(conditionalTypes1.ts, 270, 7), Decl(conditionalTypes1.ts, 271, 7))
+>T1 : Symbol(T1, Decl(conditionalTypes1.ts, 267, 19))
 
     var x: T2;
->x : Symbol(x, Decl(conditionalTypes1.ts, 254, 7), Decl(conditionalTypes1.ts, 255, 7))
->T2 : Symbol(T2, Decl(conditionalTypes1.ts, 252, 50))
+>x : Symbol(x, Decl(conditionalTypes1.ts, 270, 7), Decl(conditionalTypes1.ts, 271, 7))
+>T2 : Symbol(T2, Decl(conditionalTypes1.ts, 268, 50))
 }
 
 function f32<T, U>() {
->f32 : Symbol(f32, Decl(conditionalTypes1.ts, 256, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 258, 13))
->U : Symbol(U, Decl(conditionalTypes1.ts, 258, 15))
+>f32 : Symbol(f32, Decl(conditionalTypes1.ts, 272, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 274, 13))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 274, 15))
 
     type T1 = T & U extends string ? boolean : number;
->T1 : Symbol(T1, Decl(conditionalTypes1.ts, 258, 22))
->T : Symbol(T, Decl(conditionalTypes1.ts, 258, 13))
->U : Symbol(U, Decl(conditionalTypes1.ts, 258, 15))
+>T1 : Symbol(T1, Decl(conditionalTypes1.ts, 274, 22))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 274, 13))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 274, 15))
 
     type T2 = Foo<T & U>;
->T2 : Symbol(T2, Decl(conditionalTypes1.ts, 259, 54))
->Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 240, 29))
->T : Symbol(T, Decl(conditionalTypes1.ts, 258, 13))
->U : Symbol(U, Decl(conditionalTypes1.ts, 258, 15))
+>T2 : Symbol(T2, Decl(conditionalTypes1.ts, 275, 54))
+>Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 256, 29))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 274, 13))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 274, 15))
 
     var z: T1;
->z : Symbol(z, Decl(conditionalTypes1.ts, 261, 7), Decl(conditionalTypes1.ts, 262, 7))
->T1 : Symbol(T1, Decl(conditionalTypes1.ts, 258, 22))
+>z : Symbol(z, Decl(conditionalTypes1.ts, 277, 7), Decl(conditionalTypes1.ts, 278, 7))
+>T1 : Symbol(T1, Decl(conditionalTypes1.ts, 274, 22))
 
     var z: T2;  // Error, T2 is distributive, T1 isn't
->z : Symbol(z, Decl(conditionalTypes1.ts, 261, 7), Decl(conditionalTypes1.ts, 262, 7))
->T2 : Symbol(T2, Decl(conditionalTypes1.ts, 259, 54))
+>z : Symbol(z, Decl(conditionalTypes1.ts, 277, 7), Decl(conditionalTypes1.ts, 278, 7))
+>T2 : Symbol(T2, Decl(conditionalTypes1.ts, 275, 54))
 }
 
 function f33<T, U>() {
->f33 : Symbol(f33, Decl(conditionalTypes1.ts, 263, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 265, 13))
->U : Symbol(U, Decl(conditionalTypes1.ts, 265, 15))
+>f33 : Symbol(f33, Decl(conditionalTypes1.ts, 279, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 281, 13))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 281, 15))
 
     type T1 = Foo<T & U>;
->T1 : Symbol(T1, Decl(conditionalTypes1.ts, 265, 22))
->Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 240, 29))
->T : Symbol(T, Decl(conditionalTypes1.ts, 265, 13))
->U : Symbol(U, Decl(conditionalTypes1.ts, 265, 15))
+>T1 : Symbol(T1, Decl(conditionalTypes1.ts, 281, 22))
+>Foo : Symbol(Foo, Decl(conditionalTypes1.ts, 256, 29))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 281, 13))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 281, 15))
 
     type T2 = Bar<T & U>;
->T2 : Symbol(T2, Decl(conditionalTypes1.ts, 266, 25))
->Bar : Symbol(Bar, Decl(conditionalTypes1.ts, 244, 50))
->T : Symbol(T, Decl(conditionalTypes1.ts, 265, 13))
->U : Symbol(U, Decl(conditionalTypes1.ts, 265, 15))
+>T2 : Symbol(T2, Decl(conditionalTypes1.ts, 282, 25))
+>Bar : Symbol(Bar, Decl(conditionalTypes1.ts, 260, 50))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 281, 13))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 281, 15))
 
     var z: T1;
->z : Symbol(z, Decl(conditionalTypes1.ts, 268, 7), Decl(conditionalTypes1.ts, 269, 7))
->T1 : Symbol(T1, Decl(conditionalTypes1.ts, 265, 22))
+>z : Symbol(z, Decl(conditionalTypes1.ts, 284, 7), Decl(conditionalTypes1.ts, 285, 7))
+>T1 : Symbol(T1, Decl(conditionalTypes1.ts, 281, 22))
 
     var z: T2;
->z : Symbol(z, Decl(conditionalTypes1.ts, 268, 7), Decl(conditionalTypes1.ts, 269, 7))
->T2 : Symbol(T2, Decl(conditionalTypes1.ts, 266, 25))
+>z : Symbol(z, Decl(conditionalTypes1.ts, 284, 7), Decl(conditionalTypes1.ts, 285, 7))
+>T2 : Symbol(T2, Decl(conditionalTypes1.ts, 282, 25))
 }
 
 // Repro from #21823
 
 type T90<T> = T extends 0 ? 0 : () => 0;
->T90 : Symbol(T90, Decl(conditionalTypes1.ts, 270, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 274, 9))
->T : Symbol(T, Decl(conditionalTypes1.ts, 274, 9))
+>T90 : Symbol(T90, Decl(conditionalTypes1.ts, 286, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 290, 9))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 290, 9))
 
 type T91<T> = T extends 0 ? 0 : () => 0;
->T91 : Symbol(T91, Decl(conditionalTypes1.ts, 274, 40))
->T : Symbol(T, Decl(conditionalTypes1.ts, 275, 9))
->T : Symbol(T, Decl(conditionalTypes1.ts, 275, 9))
+>T91 : Symbol(T91, Decl(conditionalTypes1.ts, 290, 40))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 291, 9))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 291, 9))
 
 const f40 = <U>(a: T90<U>): T91<U> => a;
->f40 : Symbol(f40, Decl(conditionalTypes1.ts, 276, 5))
->U : Symbol(U, Decl(conditionalTypes1.ts, 276, 13))
->a : Symbol(a, Decl(conditionalTypes1.ts, 276, 16))
->T90 : Symbol(T90, Decl(conditionalTypes1.ts, 270, 1))
->U : Symbol(U, Decl(conditionalTypes1.ts, 276, 13))
->T91 : Symbol(T91, Decl(conditionalTypes1.ts, 274, 40))
->U : Symbol(U, Decl(conditionalTypes1.ts, 276, 13))
->a : Symbol(a, Decl(conditionalTypes1.ts, 276, 16))
+>f40 : Symbol(f40, Decl(conditionalTypes1.ts, 292, 5))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 292, 13))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 292, 16))
+>T90 : Symbol(T90, Decl(conditionalTypes1.ts, 286, 1))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 292, 13))
+>T91 : Symbol(T91, Decl(conditionalTypes1.ts, 290, 40))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 292, 13))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 292, 16))
 
 const f41 = <U>(a: T91<U>): T90<U> => a;
->f41 : Symbol(f41, Decl(conditionalTypes1.ts, 277, 5))
->U : Symbol(U, Decl(conditionalTypes1.ts, 277, 13))
->a : Symbol(a, Decl(conditionalTypes1.ts, 277, 16))
->T91 : Symbol(T91, Decl(conditionalTypes1.ts, 274, 40))
->U : Symbol(U, Decl(conditionalTypes1.ts, 277, 13))
->T90 : Symbol(T90, Decl(conditionalTypes1.ts, 270, 1))
->U : Symbol(U, Decl(conditionalTypes1.ts, 277, 13))
->a : Symbol(a, Decl(conditionalTypes1.ts, 277, 16))
+>f41 : Symbol(f41, Decl(conditionalTypes1.ts, 293, 5))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 293, 13))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 293, 16))
+>T91 : Symbol(T91, Decl(conditionalTypes1.ts, 290, 40))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 293, 13))
+>T90 : Symbol(T90, Decl(conditionalTypes1.ts, 286, 1))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 293, 13))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 293, 16))
 
 type T92<T> = T extends () => 0 ? () => 1 : () => 2;
->T92 : Symbol(T92, Decl(conditionalTypes1.ts, 277, 40))
->T : Symbol(T, Decl(conditionalTypes1.ts, 279, 9))
->T : Symbol(T, Decl(conditionalTypes1.ts, 279, 9))
+>T92 : Symbol(T92, Decl(conditionalTypes1.ts, 293, 40))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 295, 9))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 295, 9))
 
 type T93<T> = T extends () => 0 ? () => 1 : () => 2;
->T93 : Symbol(T93, Decl(conditionalTypes1.ts, 279, 52))
->T : Symbol(T, Decl(conditionalTypes1.ts, 280, 9))
->T : Symbol(T, Decl(conditionalTypes1.ts, 280, 9))
+>T93 : Symbol(T93, Decl(conditionalTypes1.ts, 295, 52))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 296, 9))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 296, 9))
 
 const f42 = <U>(a: T92<U>): T93<U> => a;
->f42 : Symbol(f42, Decl(conditionalTypes1.ts, 281, 5))
->U : Symbol(U, Decl(conditionalTypes1.ts, 281, 13))
->a : Symbol(a, Decl(conditionalTypes1.ts, 281, 16))
->T92 : Symbol(T92, Decl(conditionalTypes1.ts, 277, 40))
->U : Symbol(U, Decl(conditionalTypes1.ts, 281, 13))
->T93 : Symbol(T93, Decl(conditionalTypes1.ts, 279, 52))
->U : Symbol(U, Decl(conditionalTypes1.ts, 281, 13))
->a : Symbol(a, Decl(conditionalTypes1.ts, 281, 16))
+>f42 : Symbol(f42, Decl(conditionalTypes1.ts, 297, 5))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 297, 13))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 297, 16))
+>T92 : Symbol(T92, Decl(conditionalTypes1.ts, 293, 40))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 297, 13))
+>T93 : Symbol(T93, Decl(conditionalTypes1.ts, 295, 52))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 297, 13))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 297, 16))
 
 const f43 = <U>(a: T93<U>): T92<U> => a;
->f43 : Symbol(f43, Decl(conditionalTypes1.ts, 282, 5))
->U : Symbol(U, Decl(conditionalTypes1.ts, 282, 13))
->a : Symbol(a, Decl(conditionalTypes1.ts, 282, 16))
->T93 : Symbol(T93, Decl(conditionalTypes1.ts, 279, 52))
->U : Symbol(U, Decl(conditionalTypes1.ts, 282, 13))
->T92 : Symbol(T92, Decl(conditionalTypes1.ts, 277, 40))
->U : Symbol(U, Decl(conditionalTypes1.ts, 282, 13))
->a : Symbol(a, Decl(conditionalTypes1.ts, 282, 16))
+>f43 : Symbol(f43, Decl(conditionalTypes1.ts, 298, 5))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 298, 13))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 298, 16))
+>T93 : Symbol(T93, Decl(conditionalTypes1.ts, 295, 52))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 298, 13))
+>T92 : Symbol(T92, Decl(conditionalTypes1.ts, 293, 40))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 298, 13))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 298, 16))
 
 type T94<T> = T extends string ? true : 42;
->T94 : Symbol(T94, Decl(conditionalTypes1.ts, 282, 40))
->T : Symbol(T, Decl(conditionalTypes1.ts, 284, 9))
->T : Symbol(T, Decl(conditionalTypes1.ts, 284, 9))
+>T94 : Symbol(T94, Decl(conditionalTypes1.ts, 298, 40))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 300, 9))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 300, 9))
 
 type T95<T> = T extends string ? boolean : number;
->T95 : Symbol(T95, Decl(conditionalTypes1.ts, 284, 43))
->T : Symbol(T, Decl(conditionalTypes1.ts, 285, 9))
->T : Symbol(T, Decl(conditionalTypes1.ts, 285, 9))
+>T95 : Symbol(T95, Decl(conditionalTypes1.ts, 300, 43))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 301, 9))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 301, 9))
 
 const f44 = <U>(value: T94<U>): T95<U> => value;
->f44 : Symbol(f44, Decl(conditionalTypes1.ts, 286, 5))
->U : Symbol(U, Decl(conditionalTypes1.ts, 286, 13))
->value : Symbol(value, Decl(conditionalTypes1.ts, 286, 16))
->T94 : Symbol(T94, Decl(conditionalTypes1.ts, 282, 40))
->U : Symbol(U, Decl(conditionalTypes1.ts, 286, 13))
->T95 : Symbol(T95, Decl(conditionalTypes1.ts, 284, 43))
->U : Symbol(U, Decl(conditionalTypes1.ts, 286, 13))
->value : Symbol(value, Decl(conditionalTypes1.ts, 286, 16))
+>f44 : Symbol(f44, Decl(conditionalTypes1.ts, 302, 5))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 302, 13))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 302, 16))
+>T94 : Symbol(T94, Decl(conditionalTypes1.ts, 298, 40))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 302, 13))
+>T95 : Symbol(T95, Decl(conditionalTypes1.ts, 300, 43))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 302, 13))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 302, 16))
 
 const f45 = <U>(value: T95<U>): T94<U> => value;  // Error
->f45 : Symbol(f45, Decl(conditionalTypes1.ts, 287, 5))
->U : Symbol(U, Decl(conditionalTypes1.ts, 287, 13))
->value : Symbol(value, Decl(conditionalTypes1.ts, 287, 16))
->T95 : Symbol(T95, Decl(conditionalTypes1.ts, 284, 43))
->U : Symbol(U, Decl(conditionalTypes1.ts, 287, 13))
->T94 : Symbol(T94, Decl(conditionalTypes1.ts, 282, 40))
->U : Symbol(U, Decl(conditionalTypes1.ts, 287, 13))
->value : Symbol(value, Decl(conditionalTypes1.ts, 287, 16))
+>f45 : Symbol(f45, Decl(conditionalTypes1.ts, 303, 5))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 303, 13))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 303, 16))
+>T95 : Symbol(T95, Decl(conditionalTypes1.ts, 300, 43))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 303, 13))
+>T94 : Symbol(T94, Decl(conditionalTypes1.ts, 298, 40))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 303, 13))
+>value : Symbol(value, Decl(conditionalTypes1.ts, 303, 16))
 
 // Repro from #21863
 
 function f50() {
->f50 : Symbol(f50, Decl(conditionalTypes1.ts, 287, 48))
+>f50 : Symbol(f50, Decl(conditionalTypes1.ts, 303, 48))
 
     type Eq<T, U> = T extends U ? U extends T ? true : false : false;
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 291, 16))
->T : Symbol(T, Decl(conditionalTypes1.ts, 292, 12))
->U : Symbol(U, Decl(conditionalTypes1.ts, 292, 14))
->T : Symbol(T, Decl(conditionalTypes1.ts, 292, 12))
->U : Symbol(U, Decl(conditionalTypes1.ts, 292, 14))
->U : Symbol(U, Decl(conditionalTypes1.ts, 292, 14))
->T : Symbol(T, Decl(conditionalTypes1.ts, 292, 12))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 307, 16))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 308, 12))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 308, 14))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 308, 12))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 308, 14))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 308, 14))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 308, 12))
 
     type If<S, T, U> = S extends false ? U : T;
->If : Symbol(If, Decl(conditionalTypes1.ts, 292, 69))
->S : Symbol(S, Decl(conditionalTypes1.ts, 293, 12))
->T : Symbol(T, Decl(conditionalTypes1.ts, 293, 14))
->U : Symbol(U, Decl(conditionalTypes1.ts, 293, 17))
->S : Symbol(S, Decl(conditionalTypes1.ts, 293, 12))
->U : Symbol(U, Decl(conditionalTypes1.ts, 293, 17))
->T : Symbol(T, Decl(conditionalTypes1.ts, 293, 14))
+>If : Symbol(If, Decl(conditionalTypes1.ts, 308, 69))
+>S : Symbol(S, Decl(conditionalTypes1.ts, 309, 12))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 309, 14))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 309, 17))
+>S : Symbol(S, Decl(conditionalTypes1.ts, 309, 12))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 309, 17))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 309, 14))
 
     type Omit<T extends object> = { [P in keyof T]: If<Eq<T[P], never>, never, P>; }[keyof T];
->Omit : Symbol(Omit, Decl(conditionalTypes1.ts, 293, 47))
->T : Symbol(T, Decl(conditionalTypes1.ts, 294, 14))
->P : Symbol(P, Decl(conditionalTypes1.ts, 294, 37))
->T : Symbol(T, Decl(conditionalTypes1.ts, 294, 14))
->If : Symbol(If, Decl(conditionalTypes1.ts, 292, 69))
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 291, 16))
->T : Symbol(T, Decl(conditionalTypes1.ts, 294, 14))
->P : Symbol(P, Decl(conditionalTypes1.ts, 294, 37))
->P : Symbol(P, Decl(conditionalTypes1.ts, 294, 37))
->T : Symbol(T, Decl(conditionalTypes1.ts, 294, 14))
+>Omit : Symbol(Omit, Decl(conditionalTypes1.ts, 309, 47))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 310, 14))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 310, 37))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 310, 14))
+>If : Symbol(If, Decl(conditionalTypes1.ts, 308, 69))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 307, 16))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 310, 14))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 310, 37))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 310, 37))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 310, 14))
 
     type Omit2<T extends object, U = never> = { [P in keyof T]: If<Eq<T[P], U>, never, P>; }[keyof T];
->Omit2 : Symbol(Omit2, Decl(conditionalTypes1.ts, 294, 94))
->T : Symbol(T, Decl(conditionalTypes1.ts, 295, 15))
->U : Symbol(U, Decl(conditionalTypes1.ts, 295, 32))
->P : Symbol(P, Decl(conditionalTypes1.ts, 295, 49))
->T : Symbol(T, Decl(conditionalTypes1.ts, 295, 15))
->If : Symbol(If, Decl(conditionalTypes1.ts, 292, 69))
->Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 291, 16))
->T : Symbol(T, Decl(conditionalTypes1.ts, 295, 15))
->P : Symbol(P, Decl(conditionalTypes1.ts, 295, 49))
->U : Symbol(U, Decl(conditionalTypes1.ts, 295, 32))
->P : Symbol(P, Decl(conditionalTypes1.ts, 295, 49))
->T : Symbol(T, Decl(conditionalTypes1.ts, 295, 15))
+>Omit2 : Symbol(Omit2, Decl(conditionalTypes1.ts, 310, 94))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 311, 15))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 311, 32))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 311, 49))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 311, 15))
+>If : Symbol(If, Decl(conditionalTypes1.ts, 308, 69))
+>Eq : Symbol(Eq, Decl(conditionalTypes1.ts, 307, 16))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 311, 15))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 311, 49))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 311, 32))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 311, 49))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 311, 15))
 
     type A = Omit<{ a: void; b: never; }>;  // 'a'
->A : Symbol(A, Decl(conditionalTypes1.ts, 295, 102))
->Omit : Symbol(Omit, Decl(conditionalTypes1.ts, 293, 47))
->a : Symbol(a, Decl(conditionalTypes1.ts, 296, 19))
->b : Symbol(b, Decl(conditionalTypes1.ts, 296, 28))
+>A : Symbol(A, Decl(conditionalTypes1.ts, 311, 102))
+>Omit : Symbol(Omit, Decl(conditionalTypes1.ts, 309, 47))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 312, 19))
+>b : Symbol(b, Decl(conditionalTypes1.ts, 312, 28))
 
     type B = Omit2<{ a: void; b: never; }>;  // 'a'
->B : Symbol(B, Decl(conditionalTypes1.ts, 296, 42))
->Omit2 : Symbol(Omit2, Decl(conditionalTypes1.ts, 294, 94))
->a : Symbol(a, Decl(conditionalTypes1.ts, 297, 20))
->b : Symbol(b, Decl(conditionalTypes1.ts, 297, 29))
+>B : Symbol(B, Decl(conditionalTypes1.ts, 312, 42))
+>Omit2 : Symbol(Omit2, Decl(conditionalTypes1.ts, 310, 94))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 313, 20))
+>b : Symbol(b, Decl(conditionalTypes1.ts, 313, 29))
 }
 
 // Repro from #21862
 
 type OldDiff<T extends keyof any, U extends keyof any> = (
->OldDiff : Symbol(OldDiff, Decl(conditionalTypes1.ts, 298, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 302, 13))
->U : Symbol(U, Decl(conditionalTypes1.ts, 302, 33))
+>OldDiff : Symbol(OldDiff, Decl(conditionalTypes1.ts, 314, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 318, 13))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 318, 33))
 
     & { [P in T]: P; }
->P : Symbol(P, Decl(conditionalTypes1.ts, 303, 9))
->T : Symbol(T, Decl(conditionalTypes1.ts, 302, 13))
->P : Symbol(P, Decl(conditionalTypes1.ts, 303, 9))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 319, 9))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 318, 13))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 319, 9))
 
     & { [P in U]: never; }
->P : Symbol(P, Decl(conditionalTypes1.ts, 304, 9))
->U : Symbol(U, Decl(conditionalTypes1.ts, 302, 33))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 320, 9))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 318, 33))
 
     & { [x: string]: never; }
->x : Symbol(x, Decl(conditionalTypes1.ts, 305, 9))
+>x : Symbol(x, Decl(conditionalTypes1.ts, 321, 9))
 
 )[T];
->T : Symbol(T, Decl(conditionalTypes1.ts, 302, 13))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 318, 13))
 
 type NewDiff<T, U> = T extends U ? never : T;
->NewDiff : Symbol(NewDiff, Decl(conditionalTypes1.ts, 306, 5))
->T : Symbol(T, Decl(conditionalTypes1.ts, 307, 13))
->U : Symbol(U, Decl(conditionalTypes1.ts, 307, 15))
->T : Symbol(T, Decl(conditionalTypes1.ts, 307, 13))
->U : Symbol(U, Decl(conditionalTypes1.ts, 307, 15))
->T : Symbol(T, Decl(conditionalTypes1.ts, 307, 13))
+>NewDiff : Symbol(NewDiff, Decl(conditionalTypes1.ts, 322, 5))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 323, 13))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 323, 15))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 323, 13))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 323, 15))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 323, 13))
 
 interface A {
->A : Symbol(A, Decl(conditionalTypes1.ts, 307, 45))
+>A : Symbol(A, Decl(conditionalTypes1.ts, 323, 45))
 
     a: 'a';
->a : Symbol(A.a, Decl(conditionalTypes1.ts, 308, 13))
+>a : Symbol(A.a, Decl(conditionalTypes1.ts, 324, 13))
 }
 interface B1 extends A {
->B1 : Symbol(B1, Decl(conditionalTypes1.ts, 310, 1))
->A : Symbol(A, Decl(conditionalTypes1.ts, 307, 45))
+>B1 : Symbol(B1, Decl(conditionalTypes1.ts, 326, 1))
+>A : Symbol(A, Decl(conditionalTypes1.ts, 323, 45))
 
     b: 'b';
->b : Symbol(B1.b, Decl(conditionalTypes1.ts, 311, 24))
+>b : Symbol(B1.b, Decl(conditionalTypes1.ts, 327, 24))
 
     c: OldDiff<keyof this, keyof A>;
->c : Symbol(B1.c, Decl(conditionalTypes1.ts, 312, 11))
->OldDiff : Symbol(OldDiff, Decl(conditionalTypes1.ts, 298, 1))
->A : Symbol(A, Decl(conditionalTypes1.ts, 307, 45))
+>c : Symbol(B1.c, Decl(conditionalTypes1.ts, 328, 11))
+>OldDiff : Symbol(OldDiff, Decl(conditionalTypes1.ts, 314, 1))
+>A : Symbol(A, Decl(conditionalTypes1.ts, 323, 45))
 }
 interface B2 extends A {
->B2 : Symbol(B2, Decl(conditionalTypes1.ts, 314, 1))
->A : Symbol(A, Decl(conditionalTypes1.ts, 307, 45))
+>B2 : Symbol(B2, Decl(conditionalTypes1.ts, 330, 1))
+>A : Symbol(A, Decl(conditionalTypes1.ts, 323, 45))
 
     b: 'b';
->b : Symbol(B2.b, Decl(conditionalTypes1.ts, 315, 24))
+>b : Symbol(B2.b, Decl(conditionalTypes1.ts, 331, 24))
 
     c: NewDiff<keyof this, keyof A>;
->c : Symbol(B2.c, Decl(conditionalTypes1.ts, 316, 11))
->NewDiff : Symbol(NewDiff, Decl(conditionalTypes1.ts, 306, 5))
->A : Symbol(A, Decl(conditionalTypes1.ts, 307, 45))
+>c : Symbol(B2.c, Decl(conditionalTypes1.ts, 332, 11))
+>NewDiff : Symbol(NewDiff, Decl(conditionalTypes1.ts, 322, 5))
+>A : Symbol(A, Decl(conditionalTypes1.ts, 323, 45))
 }
 type c1 = B1['c']; // 'c' | 'b'
->c1 : Symbol(c1, Decl(conditionalTypes1.ts, 318, 1))
->B1 : Symbol(B1, Decl(conditionalTypes1.ts, 310, 1))
+>c1 : Symbol(c1, Decl(conditionalTypes1.ts, 334, 1))
+>B1 : Symbol(B1, Decl(conditionalTypes1.ts, 326, 1))
 
 type c2 = B2['c']; // 'c' | 'b'
->c2 : Symbol(c2, Decl(conditionalTypes1.ts, 319, 18))
->B2 : Symbol(B2, Decl(conditionalTypes1.ts, 314, 1))
+>c2 : Symbol(c2, Decl(conditionalTypes1.ts, 335, 18))
+>B2 : Symbol(B2, Decl(conditionalTypes1.ts, 330, 1))
 
 // Repro from #21929
 
 type NonFooKeys1<T extends object> = OldDiff<keyof T, 'foo'>;
->NonFooKeys1 : Symbol(NonFooKeys1, Decl(conditionalTypes1.ts, 320, 18))
->T : Symbol(T, Decl(conditionalTypes1.ts, 324, 17))
->OldDiff : Symbol(OldDiff, Decl(conditionalTypes1.ts, 298, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 324, 17))
+>NonFooKeys1 : Symbol(NonFooKeys1, Decl(conditionalTypes1.ts, 336, 18))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 340, 17))
+>OldDiff : Symbol(OldDiff, Decl(conditionalTypes1.ts, 314, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 340, 17))
 
 type NonFooKeys2<T extends object> = Exclude<keyof T, 'foo'>;
->NonFooKeys2 : Symbol(NonFooKeys2, Decl(conditionalTypes1.ts, 324, 61))
->T : Symbol(T, Decl(conditionalTypes1.ts, 325, 17))
+>NonFooKeys2 : Symbol(NonFooKeys2, Decl(conditionalTypes1.ts, 340, 61))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 341, 17))
 >Exclude : Symbol(Exclude, Decl(lib.es5.d.ts, --, --))
->T : Symbol(T, Decl(conditionalTypes1.ts, 325, 17))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 341, 17))
 
 type Test1 = NonFooKeys1<{foo: 1, bar: 2, baz: 3}>;  // "bar" | "baz"
->Test1 : Symbol(Test1, Decl(conditionalTypes1.ts, 325, 61))
->NonFooKeys1 : Symbol(NonFooKeys1, Decl(conditionalTypes1.ts, 320, 18))
->foo : Symbol(foo, Decl(conditionalTypes1.ts, 327, 26))
->bar : Symbol(bar, Decl(conditionalTypes1.ts, 327, 33))
->baz : Symbol(baz, Decl(conditionalTypes1.ts, 327, 41))
+>Test1 : Symbol(Test1, Decl(conditionalTypes1.ts, 341, 61))
+>NonFooKeys1 : Symbol(NonFooKeys1, Decl(conditionalTypes1.ts, 336, 18))
+>foo : Symbol(foo, Decl(conditionalTypes1.ts, 343, 26))
+>bar : Symbol(bar, Decl(conditionalTypes1.ts, 343, 33))
+>baz : Symbol(baz, Decl(conditionalTypes1.ts, 343, 41))
 
 type Test2 = NonFooKeys2<{foo: 1, bar: 2, baz: 3}>;  // "bar" | "baz"
->Test2 : Symbol(Test2, Decl(conditionalTypes1.ts, 327, 51))
->NonFooKeys2 : Symbol(NonFooKeys2, Decl(conditionalTypes1.ts, 324, 61))
->foo : Symbol(foo, Decl(conditionalTypes1.ts, 328, 26))
->bar : Symbol(bar, Decl(conditionalTypes1.ts, 328, 33))
->baz : Symbol(baz, Decl(conditionalTypes1.ts, 328, 41))
+>Test2 : Symbol(Test2, Decl(conditionalTypes1.ts, 343, 51))
+>NonFooKeys2 : Symbol(NonFooKeys2, Decl(conditionalTypes1.ts, 340, 61))
+>foo : Symbol(foo, Decl(conditionalTypes1.ts, 344, 26))
+>bar : Symbol(bar, Decl(conditionalTypes1.ts, 344, 33))
+>baz : Symbol(baz, Decl(conditionalTypes1.ts, 344, 41))
 
 // Repro from #21729
 
 interface Foo2 { foo: string; }
->Foo2 : Symbol(Foo2, Decl(conditionalTypes1.ts, 328, 51))
->foo : Symbol(Foo2.foo, Decl(conditionalTypes1.ts, 332, 16))
+>Foo2 : Symbol(Foo2, Decl(conditionalTypes1.ts, 344, 51))
+>foo : Symbol(Foo2.foo, Decl(conditionalTypes1.ts, 348, 16))
 
 interface Bar2 { bar: string; }
->Bar2 : Symbol(Bar2, Decl(conditionalTypes1.ts, 332, 31))
->bar : Symbol(Bar2.bar, Decl(conditionalTypes1.ts, 333, 16))
+>Bar2 : Symbol(Bar2, Decl(conditionalTypes1.ts, 348, 31))
+>bar : Symbol(Bar2.bar, Decl(conditionalTypes1.ts, 349, 16))
 
 type FooBar = Foo2 | Bar2;
->FooBar : Symbol(FooBar, Decl(conditionalTypes1.ts, 333, 31))
->Foo2 : Symbol(Foo2, Decl(conditionalTypes1.ts, 328, 51))
->Bar2 : Symbol(Bar2, Decl(conditionalTypes1.ts, 332, 31))
+>FooBar : Symbol(FooBar, Decl(conditionalTypes1.ts, 349, 31))
+>Foo2 : Symbol(Foo2, Decl(conditionalTypes1.ts, 344, 51))
+>Bar2 : Symbol(Bar2, Decl(conditionalTypes1.ts, 348, 31))
 
 declare interface ExtractFooBar<FB extends FooBar> { }
->ExtractFooBar : Symbol(ExtractFooBar, Decl(conditionalTypes1.ts, 334, 26))
->FB : Symbol(FB, Decl(conditionalTypes1.ts, 335, 32))
->FooBar : Symbol(FooBar, Decl(conditionalTypes1.ts, 333, 31))
+>ExtractFooBar : Symbol(ExtractFooBar, Decl(conditionalTypes1.ts, 350, 26))
+>FB : Symbol(FB, Decl(conditionalTypes1.ts, 351, 32))
+>FooBar : Symbol(FooBar, Decl(conditionalTypes1.ts, 349, 31))
 
 type Extracted<Struct> = {
->Extracted : Symbol(Extracted, Decl(conditionalTypes1.ts, 335, 54))
->Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 337, 15))
+>Extracted : Symbol(Extracted, Decl(conditionalTypes1.ts, 351, 54))
+>Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 353, 15))
 
     [K in keyof Struct]: Struct[K] extends FooBar ? ExtractFooBar<Struct[K]> : Struct[K];
->K : Symbol(K, Decl(conditionalTypes1.ts, 338, 5))
->Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 337, 15))
->Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 337, 15))
->K : Symbol(K, Decl(conditionalTypes1.ts, 338, 5))
->FooBar : Symbol(FooBar, Decl(conditionalTypes1.ts, 333, 31))
->ExtractFooBar : Symbol(ExtractFooBar, Decl(conditionalTypes1.ts, 334, 26))
->Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 337, 15))
->K : Symbol(K, Decl(conditionalTypes1.ts, 338, 5))
->Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 337, 15))
->K : Symbol(K, Decl(conditionalTypes1.ts, 338, 5))
+>K : Symbol(K, Decl(conditionalTypes1.ts, 354, 5))
+>Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 353, 15))
+>Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 353, 15))
+>K : Symbol(K, Decl(conditionalTypes1.ts, 354, 5))
+>FooBar : Symbol(FooBar, Decl(conditionalTypes1.ts, 349, 31))
+>ExtractFooBar : Symbol(ExtractFooBar, Decl(conditionalTypes1.ts, 350, 26))
+>Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 353, 15))
+>K : Symbol(K, Decl(conditionalTypes1.ts, 354, 5))
+>Struct : Symbol(Struct, Decl(conditionalTypes1.ts, 353, 15))
+>K : Symbol(K, Decl(conditionalTypes1.ts, 354, 5))
 }
 
 // Repro from #22985
 
 type RecursivePartial<T> = {
->RecursivePartial : Symbol(RecursivePartial, Decl(conditionalTypes1.ts, 339, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 343, 22))
+>RecursivePartial : Symbol(RecursivePartial, Decl(conditionalTypes1.ts, 355, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 359, 22))
 
   [P in keyof T]?: T[P] extends Array<any> ? {[index: number]: RecursivePartial<T[P][0]>} :
->P : Symbol(P, Decl(conditionalTypes1.ts, 344, 3))
->T : Symbol(T, Decl(conditionalTypes1.ts, 343, 22))
->T : Symbol(T, Decl(conditionalTypes1.ts, 343, 22))
->P : Symbol(P, Decl(conditionalTypes1.ts, 344, 3))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 360, 3))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 359, 22))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 359, 22))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 360, 3))
 >Array : Symbol(Array, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.core.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
->index : Symbol(index, Decl(conditionalTypes1.ts, 344, 47))
->RecursivePartial : Symbol(RecursivePartial, Decl(conditionalTypes1.ts, 339, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 343, 22))
->P : Symbol(P, Decl(conditionalTypes1.ts, 344, 3))
+>index : Symbol(index, Decl(conditionalTypes1.ts, 360, 47))
+>RecursivePartial : Symbol(RecursivePartial, Decl(conditionalTypes1.ts, 355, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 359, 22))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 360, 3))
 
     T[P] extends object ? RecursivePartial<T[P]> : T[P];
->T : Symbol(T, Decl(conditionalTypes1.ts, 343, 22))
->P : Symbol(P, Decl(conditionalTypes1.ts, 344, 3))
->RecursivePartial : Symbol(RecursivePartial, Decl(conditionalTypes1.ts, 339, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 343, 22))
->P : Symbol(P, Decl(conditionalTypes1.ts, 344, 3))
->T : Symbol(T, Decl(conditionalTypes1.ts, 343, 22))
->P : Symbol(P, Decl(conditionalTypes1.ts, 344, 3))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 359, 22))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 360, 3))
+>RecursivePartial : Symbol(RecursivePartial, Decl(conditionalTypes1.ts, 355, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 359, 22))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 360, 3))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 359, 22))
+>P : Symbol(P, Decl(conditionalTypes1.ts, 360, 3))
 
 };
 
 declare function assign<T>(o: T, a: RecursivePartial<T>): void;
->assign : Symbol(assign, Decl(conditionalTypes1.ts, 346, 2))
->T : Symbol(T, Decl(conditionalTypes1.ts, 348, 24))
->o : Symbol(o, Decl(conditionalTypes1.ts, 348, 27))
->T : Symbol(T, Decl(conditionalTypes1.ts, 348, 24))
->a : Symbol(a, Decl(conditionalTypes1.ts, 348, 32))
->RecursivePartial : Symbol(RecursivePartial, Decl(conditionalTypes1.ts, 339, 1))
->T : Symbol(T, Decl(conditionalTypes1.ts, 348, 24))
+>assign : Symbol(assign, Decl(conditionalTypes1.ts, 362, 2))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 364, 24))
+>o : Symbol(o, Decl(conditionalTypes1.ts, 364, 27))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 364, 24))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 364, 32))
+>RecursivePartial : Symbol(RecursivePartial, Decl(conditionalTypes1.ts, 355, 1))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 364, 24))
 
 var a = {o: 1, b: 2, c: [{a: 1, c: '213'}]}
->a : Symbol(a, Decl(conditionalTypes1.ts, 350, 3))
->o : Symbol(o, Decl(conditionalTypes1.ts, 350, 9))
->b : Symbol(b, Decl(conditionalTypes1.ts, 350, 14))
->c : Symbol(c, Decl(conditionalTypes1.ts, 350, 20))
->a : Symbol(a, Decl(conditionalTypes1.ts, 350, 26))
->c : Symbol(c, Decl(conditionalTypes1.ts, 350, 31))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 366, 3))
+>o : Symbol(o, Decl(conditionalTypes1.ts, 366, 9))
+>b : Symbol(b, Decl(conditionalTypes1.ts, 366, 14))
+>c : Symbol(c, Decl(conditionalTypes1.ts, 366, 20))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 366, 26))
+>c : Symbol(c, Decl(conditionalTypes1.ts, 366, 31))
 
 assign(a, {o: 2, c: {0: {a: 2, c: '213123'}}})
->assign : Symbol(assign, Decl(conditionalTypes1.ts, 346, 2))
->a : Symbol(a, Decl(conditionalTypes1.ts, 350, 3))
->o : Symbol(o, Decl(conditionalTypes1.ts, 351, 11))
->c : Symbol(c, Decl(conditionalTypes1.ts, 351, 16))
->0 : Symbol(0, Decl(conditionalTypes1.ts, 351, 21))
->a : Symbol(a, Decl(conditionalTypes1.ts, 351, 25))
->c : Symbol(c, Decl(conditionalTypes1.ts, 351, 30))
+>assign : Symbol(assign, Decl(conditionalTypes1.ts, 362, 2))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 366, 3))
+>o : Symbol(o, Decl(conditionalTypes1.ts, 367, 11))
+>c : Symbol(c, Decl(conditionalTypes1.ts, 367, 16))
+>0 : Symbol(0, Decl(conditionalTypes1.ts, 367, 21))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 367, 25))
+>c : Symbol(c, Decl(conditionalTypes1.ts, 367, 30))
 
 // Repros from #23843
 
 type Weird1 = (<U extends boolean>(a: U) => never) extends 
->Weird1 : Symbol(Weird1, Decl(conditionalTypes1.ts, 351, 46))
->U : Symbol(U, Decl(conditionalTypes1.ts, 355, 16))
->a : Symbol(a, Decl(conditionalTypes1.ts, 355, 35))
->U : Symbol(U, Decl(conditionalTypes1.ts, 355, 16))
+>Weird1 : Symbol(Weird1, Decl(conditionalTypes1.ts, 367, 46))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 371, 16))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 371, 35))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 371, 16))
 
     (<U extends true>(a: U) => never) ? never : never;
->U : Symbol(U, Decl(conditionalTypes1.ts, 356, 6))
->a : Symbol(a, Decl(conditionalTypes1.ts, 356, 22))
->U : Symbol(U, Decl(conditionalTypes1.ts, 356, 6))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 372, 6))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 372, 22))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 372, 6))
 
 type Weird2 = (<U extends boolean>(a: U) => U) extends 
->Weird2 : Symbol(Weird2, Decl(conditionalTypes1.ts, 356, 54))
->U : Symbol(U, Decl(conditionalTypes1.ts, 358, 16))
->a : Symbol(a, Decl(conditionalTypes1.ts, 358, 35))
->U : Symbol(U, Decl(conditionalTypes1.ts, 358, 16))
->U : Symbol(U, Decl(conditionalTypes1.ts, 358, 16))
+>Weird2 : Symbol(Weird2, Decl(conditionalTypes1.ts, 372, 54))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 374, 16))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 374, 35))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 374, 16))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 374, 16))
 
     (<U extends true>(a: U) => infer T) ? T : never;
->U : Symbol(U, Decl(conditionalTypes1.ts, 359, 6))
->a : Symbol(a, Decl(conditionalTypes1.ts, 359, 22))
->U : Symbol(U, Decl(conditionalTypes1.ts, 359, 6))
->T : Symbol(T, Decl(conditionalTypes1.ts, 359, 36))
->T : Symbol(T, Decl(conditionalTypes1.ts, 359, 36))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 375, 6))
+>a : Symbol(a, Decl(conditionalTypes1.ts, 375, 22))
+>U : Symbol(U, Decl(conditionalTypes1.ts, 375, 6))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 375, 36))
+>T : Symbol(T, Decl(conditionalTypes1.ts, 375, 36))
 
diff --git a/tsc/testdata/baselines/reference/conformance/conditionalTypes1.types b/tsc/testdata/baselines/reference/conformance/conditionalTypes1.types
index b5496f00171d2..e8b86af12d4f4 100644
--- a/tsc/testdata/baselines/reference/conformance/conditionalTypes1.types
+++ b/tsc/testdata/baselines/reference/conformance/conditionalTypes1.types
@@ -691,6 +691,40 @@ function f23<T extends string[]>(x: T extends (infer U)[] ? U[] : never) {
 >0 : 0
 }
 
+function inferTuple<T>(x: T extends [infer U, infer V] ? [U, V] : never) {
+>inferTuple : <T>(x: T extends [infer U, infer V] ? [U, V] : never) => T extends [infer U, infer V] ? [U, V] : never
+>x : T extends [infer U, infer V] ? [U, V] : never
+
+    return x;
+>x : T extends [infer U, infer V] ? [U, V] : never
+}
+
+function inferObject<T>(x: T extends { value: infer U } ? { value: U } : never) {
+>inferObject : <T>(x: T extends { value: infer U; } ? { value: U; } : never) => T extends { value: infer U; } ? { value: U; } : never
+>x : T extends { value: infer U; } ? { value: U; } : never
+>value : U
+>value : U
+
+    return x;
+>x : T extends { value: infer U; } ? { value: U; } : never
+}
+
+function inferFunction<T>(x: T extends () => infer U ? () => U : never) {
+>inferFunction : <T>(x: T extends () => infer U ? () => U : never) => T extends () => infer U ? () => U : never
+>x : T extends () => infer U ? () => U : never
+
+    return x;
+>x : T extends () => infer U ? () => U : never
+}
+
+function inferNested<T>(x: T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never) {
+>inferNested : <T>(x: T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never) => T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never
+>x : T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never
+
+    return x;
+>x : T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never
+}
+
 // Repros from #21664
 
 type Eq<T, U> = T extends U ? U extends T ? true : false : false;
diff --git a/tsc/testdata/baselines/reference/tsc/incremental/recursive-tagged-tuple-after-incremental-edits.js b/tsc/testdata/baselines/reference/tsc/incremental/recursive-tagged-tuple-after-incremental-edits.js
new file mode 100644
index 0000000000000..e64c720d2569e
--- /dev/null
+++ b/tsc/testdata/baselines/reference/tsc/incremental/recursive-tagged-tuple-after-incremental-edits.js
@@ -0,0 +1,138 @@
+currentDirectory::/home/src/workspaces/project
+useCaseSensitiveFileNames::true
+Input::
+//// [/home/src/tslibs/TS/Lib/lib.es2026.full.d.ts] *new* 
+/// <reference no-default-lib="true"/>
+interface Boolean {}
+interface Function {}
+interface CallableFunction {}
+interface NewableFunction {}
+interface IArguments {}
+interface Number { toExponential: any; }
+interface Object {}
+interface RegExp {}
+interface String { charAt: any; }
+interface Array<T> { length: number; [n: number]: T; }
+interface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }
+interface SymbolConstructor {
+    (desc?: string | number): symbol;
+    for(name: string): symbol;
+    readonly toStringTag: symbol;
+}
+declare var Symbol: SymbolConstructor;
+interface Symbol {
+    readonly [Symbol.toStringTag]: string;
+}
+declare const console: { log(msg: any): void; };
+//// [/home/src/workspaces/project/consumer.ts] *new* 
+import { doc } from "./doc";
+export const value = doc;
+//// [/home/src/workspaces/project/doc.ts] *new* 
+type Doc =
+    | string
+    | { [k: string]: Doc }
+    | readonly ["array", Doc]
+    | readonly ["array", Doc, { length: number }]
+    | readonly ["array", Doc, { min?: number; max?: number }]
+    | readonly ["union", Doc, ...Doc[]];
+export declare const doc: Doc;
+//// [/home/src/workspaces/project/tsconfig.json] *new* 
+{"compilerOptions": {"strict": true, "incremental": true, "noEmit": true, "module": "esnext", "moduleResolution": "bundler"}}
+
+tsgo 
+ExitStatus:: Success
+Output::
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo] *new* 
+{"version":"FakeTSVersion","root":[[2,3]],"fileNames":["lib.es2026.full.d.ts","./doc.ts","./consumer.ts"],"fileInfos":[{"version":"0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };","affectsGlobalScope":true,"impliedNodeFormat":1},"5fa9a45d6461d373d994072ba4b41eca-type Doc =\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;","e3e1863b40b48bf670281f2578788e0b-import { doc } from \"./doc\";\nexport const value = doc;"],"fileIdsList":[[2]],"options":{"module":99,"strict":true},"referencedMap":[[3,1]],"affectedFilesPendingEmit":[3,2]}
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo.readable.baseline.txt] *new* 
+{
+  "version": "FakeTSVersion",
+  "root": [
+    {
+      "files": [
+        "./doc.ts",
+        "./consumer.ts"
+      ],
+      "original": [
+        2,
+        3
+      ]
+    }
+  ],
+  "fileNames": [
+    "lib.es2026.full.d.ts",
+    "./doc.ts",
+    "./consumer.ts"
+  ],
+  "fileInfos": [
+    {
+      "fileName": "lib.es2026.full.d.ts",
+      "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "signature": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "affectsGlobalScope": true,
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+        "affectsGlobalScope": true,
+        "impliedNodeFormat": 1
+      }
+    },
+    {
+      "fileName": "./doc.ts",
+      "version": "5fa9a45d6461d373d994072ba4b41eca-type Doc =\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;",
+      "signature": "5fa9a45d6461d373d994072ba4b41eca-type Doc =\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;",
+      "impliedNodeFormat": "CommonJS"
+    },
+    {
+      "fileName": "./consumer.ts",
+      "version": "e3e1863b40b48bf670281f2578788e0b-import { doc } from \"./doc\";\nexport const value = doc;",
+      "signature": "e3e1863b40b48bf670281f2578788e0b-import { doc } from \"./doc\";\nexport const value = doc;",
+      "impliedNodeFormat": "CommonJS"
+    }
+  ],
+  "fileIdsList": [
+    [
+      "./doc.ts"
+    ]
+  ],
+  "options": {
+    "module": 99,
+    "strict": true
+  },
+  "referencedMap": {
+    "./consumer.ts": [
+      "./doc.ts"
+    ]
+  },
+  "affectedFilesPendingEmit": [
+    [
+      "./consumer.ts",
+      "Js",
+      3
+    ],
+    [
+      "./doc.ts",
+      "Js",
+      2
+    ]
+  ],
+  "size": 1464
+}
+
+tsconfig.json::
+SemanticDiagnostics::
+*refresh*    /home/src/tslibs/TS/Lib/lib.es2026.full.d.ts
+*refresh*    /home/src/workspaces/project/doc.ts
+*refresh*    /home/src/workspaces/project/consumer.ts
+Signatures::
+
+
+Edit [0]:: no change
+
+tsgo 
+ExitStatus:: Success
+Output::
+
+tsconfig.json::
+SemanticDiagnostics::
+Signatures::
diff --git a/tsc/testdata/tests/cases/compiler/recursiveContainerDeclarationSerialization.ts b/tsc/testdata/tests/cases/compiler/recursiveContainerDeclarationSerialization.ts
new file mode 100644
index 0000000000000..ecfc99f73a745
--- /dev/null
+++ b/tsc/testdata/tests/cases/compiler/recursiveContainerDeclarationSerialization.ts
@@ -0,0 +1,36 @@
+// @strict: true
+// @declaration: true
+
+// @filename: local.ts
+export function array() {
+    type Recursive = Recursive[];
+    return null as unknown as Recursive;
+}
+export function tuple() {
+    type Recursive = [Recursive];
+    return null as unknown as Recursive;
+}
+export function readonlyTuple() {
+    type Recursive = readonly [Recursive];
+    return null as unknown as Recursive;
+}
+export function union() {
+    type Recursive = string | Recursive[];
+    return null as unknown as Recursive;
+}
+
+// @filename: nameable.ts
+export type RecursiveArray = RecursiveArray[];
+export type RecursiveTuple = readonly [RecursiveTuple];
+declare const array: RecursiveArray;
+declare const tuple: RecursiveTuple;
+export const namedArray = array;
+export const namedTuple = tuple;
+export function finite() {
+    type Nested = [[[[[[[[[[[[[number]]]]]]]]]]]]];
+    return null as unknown as Nested;
+}
+export function finiteArray() {
+    type Nested = number[][][][][][][][][][][][][];
+    return null as unknown as Nested;
+}
diff --git a/tsc/testdata/tests/cases/conformance/types/conditional/conditionalTypes1.ts b/tsc/testdata/tests/cases/conformance/types/conditional/conditionalTypes1.ts
index 99c1df6dfa03d..f98d2da442f2d 100644
--- a/tsc/testdata/tests/cases/conformance/types/conditional/conditionalTypes1.ts
+++ b/tsc/testdata/tests/cases/conformance/types/conditional/conditionalTypes1.ts
@@ -224,6 +224,22 @@ function f23<T extends string[]>(x: T extends (infer U)[] ? U[] : never) {
     let e = x[0];  // string
 }
 
+function inferTuple<T>(x: T extends [infer U, infer V] ? [U, V] : never) {
+    return x;
+}
+
+function inferObject<T>(x: T extends { value: infer U } ? { value: U } : never) {
+    return x;
+}
+
+function inferFunction<T>(x: T extends () => infer U ? () => U : never) {
+    return x;
+}
+
+function inferNested<T>(x: T extends (infer U)[] ? U extends (infer V)[] ? [U[], V[]] : U[] : never) {
+    return x;
+}
+
 // Repros from #21664
 
 type Eq<T, U> = T extends U ? U extends T ? true : false : false;

From bcce023eed7bb778795105159773559c2fe73f82 Mon Sep 17 00:00:00 2001
From: Jake Bailey <5341706+jakebailey@users.noreply.github.com>
Date: Fri, 25 Sep 2026 16:46:10 -0700
Subject: [PATCH 2/2] Detect cycles while serializing array and tuple types

Deferred and regular references can represent the same array or tuple.
Structural declaration serialization must recognize that shared identity
instead of expanding it repeatedly during incremental signature generation.

Detect the cycle using the regular reference for the resolved arguments.
Report unrepresentable container cycles without changing other declaration
truncation behavior, and exercise the previously hanging incremental edits.

Fixes 63825
---
 tsc/internal/checker/nodebuilderimpl.go       |  44 +-
 tsc/internal/execute/tsctests/tsc_test.go     |  32 +-
 .../tests/quickInfoCanBeTruncated_test.go     |   2 +-
 ...ntainerDeclarationSerialization.errors.txt |  16 +-
 ...iveContainerDeclarationSerialization.types |  24 +-
 .../compiler/recursiveTypeInference2.types    |   4 +-
 ...ve-tagged-tuple-after-incremental-edits.js | 562 ++++++++++++++++++
 7 files changed, 652 insertions(+), 32 deletions(-)

diff --git a/tsc/internal/checker/nodebuilderimpl.go b/tsc/internal/checker/nodebuilderimpl.go
index b7322db280638..2fd161713af87 100644
--- a/tsc/internal/checker/nodebuilderimpl.go
+++ b/tsc/internal/checker/nodebuilderimpl.go
@@ -41,9 +41,10 @@ type SerializedTypeEntry struct {
 }
 
 type CompositeTypeCacheIdentity struct {
-	typeId        TypeId
-	flags         nodebuilder.Flags
-	internalFlags nodebuilder.InternalFlags
+	typeId              TypeId
+	flags               nodebuilder.Flags
+	internalFlags       nodebuilder.InternalFlags
+	inferTypeParameters CacheHashKey
 }
 
 type NodeBuilderLinks struct {
@@ -3084,7 +3085,7 @@ func (b *NodeBuilderImpl) getParentSymbolOfTypeParameter(typeParameter *TypePara
 	return b.ch.getSymbolOfNode(host)
 }
 
-func (b *NodeBuilderImpl) typeReferenceToTypeNode(t *Type) *ast.TypeNode {
+func (b *NodeBuilderImpl) arrayOrTupleTypeToNode(t *Type) *ast.TypeNode {
 	var typeArguments []*Type = b.ch.getTypeArguments(t)
 	if t.Target() == b.ch.globalArrayType || t.Target() == b.ch.globalReadonlyArrayType {
 		if b.ctx.flags&nodebuilder.FlagsWriteArrayAsGenericType != 0 {
@@ -3101,7 +3102,8 @@ func (b *NodeBuilderImpl) typeReferenceToTypeNode(t *Type) *ast.TypeNode {
 		} else {
 			return b.f.NewTypeOperatorNode(ast.KindReadonlyKeyword, arrayType)
 		}
-	} else if t.Target().objectFlags&ObjectFlagsTuple != 0 {
+	} else {
+		debug.Assert(t.Target().objectFlags&ObjectFlagsTuple != 0)
 		typeArguments = core.SameMapIndex(typeArguments, func(arg *Type, i int) *Type {
 			isOptional := false
 			if i < len(t.Target().AsTupleType().elementInfos) {
@@ -3154,7 +3156,12 @@ func (b *NodeBuilderImpl) typeReferenceToTypeNode(t *Type) *ast.TypeNode {
 		b.ctx.encounteredError = true
 		return nil
 		// TODO: GH#18217
-	} else if b.ctx.flags&nodebuilder.FlagsWriteClassExpressionAsTypeLiteral != 0 && t.symbol.ValueDeclaration != nil && ast.IsClassLike(t.symbol.ValueDeclaration) && !b.ch.IsValueSymbolAccessible(t.symbol, b.ctx.enclosingDeclaration) {
+	}
+}
+
+func (b *NodeBuilderImpl) typeReferenceToTypeNode(t *Type) *ast.TypeNode {
+	var typeArguments []*Type = b.ch.getTypeArguments(t)
+	if b.ctx.flags&nodebuilder.FlagsWriteClassExpressionAsTypeLiteral != 0 && t.symbol.ValueDeclaration != nil && ast.IsClassLike(t.symbol.ValueDeclaration) && !b.ch.IsValueSymbolAccessible(t.symbol, b.ctx.enclosingDeclaration) {
 		return b.createAnonymousTypeNode(t)
 	} else {
 		outerTypeParameters := t.Target().AsInterfaceType().OuterTypeParameters()
@@ -3232,9 +3239,21 @@ func (b *NodeBuilderImpl) visitAndTransformType(t *Type, transform func(b *NodeB
 	}
 
 	typeId := t.id
+	isArrayOrTuple := b.ch.isArrayOrTupleType(t)
+	if isArrayOrTuple {
+		// Deferred and regular references share a cycle identity.
+		typeId = b.ch.createTypeReference(t.Target(), b.ch.getTypeArguments(t)).id
+	}
+	if b.ctx.visitedTypes.Has(typeId) {
+		return b.createCyclicStructurePlaceholder()
+	}
+
 	isConstructorObject := t.objectFlags&ObjectFlagsAnonymous != 0 && t.symbol != nil && t.symbol.Flags&ast.SymbolFlagsClass != 0
 	var id *CompositeSymbolIdentity
 	switch {
+	case isArrayOrTuple:
+		// Do not bound finite container nesting by the shared Array symbol or tuple origin.
+		id = nil
 	case t.objectFlags&ObjectFlagsReference != 0 && t.AsTypeReference().node != nil:
 		id = &CompositeSymbolIdentity{false, 0, ast.GetNodeId(t.AsTypeReference().node)}
 	case t.flags&TypeFlagsConditional != 0:
@@ -3247,7 +3266,14 @@ func (b *NodeBuilderImpl) visitAndTransformType(t *Type, transform func(b *NodeB
 	// Since instantiations of the same anonymous type have the same symbol, tracking symbols instead
 	// of types allows us to catch circular references to instantiations of the same anonymous type
 
-	key := CompositeTypeCacheIdentity{typeId, b.ctx.flags, b.ctx.internalFlags}
+	key := CompositeTypeCacheIdentity{
+		typeId:        typeId,
+		flags:         b.ctx.flags,
+		internalFlags: b.ctx.internalFlags,
+	}
+	if len(b.ctx.inferTypeParameters) != 0 {
+		key.inferTypeParameters = getTypeListKey(b.ctx.inferTypeParameters)
+	}
 	// Don't rely on type cache if we're expanding a type, because we need to compute `canIncreaseExpansionDepth`.
 	canUseCache := b.ctx.maxExpansionDepth < 0
 	if canUseCache && b.ctx.enclosingDeclaration != nil && b.links.Has(b.ctx.enclosingDeclaration) {
@@ -3518,7 +3544,9 @@ func (b *NodeBuilderImpl) typeToTypeNode(t *Type) *ast.TypeNode {
 			b.ctx.depth--
 			return result
 		}
-		if t.AsTypeReference().node != nil {
+		if b.ch.isArrayOrTupleType(t) {
+			return b.visitAndTransformType(t, (*NodeBuilderImpl).arrayOrTupleTypeToNode)
+		} else if t.AsTypeReference().node != nil {
 			return b.visitAndTransformType(t, (*NodeBuilderImpl).typeReferenceToTypeNode)
 		} else {
 			return b.typeReferenceToTypeNode(t)
diff --git a/tsc/internal/execute/tsctests/tsc_test.go b/tsc/internal/execute/tsctests/tsc_test.go
index 1d98f2c9684cc..b6e614917cca3 100644
--- a/tsc/internal/execute/tsctests/tsc_test.go
+++ b/tsc/internal/execute/tsctests/tsc_test.go
@@ -2452,7 +2452,37 @@ func TestTscIncremental(t *testing.T) {
 					export const value = doc;
 				`),
 			},
-			edits: []*tscEdit{noChange},
+			edits: []*tscEdit{
+				noChange,
+				{
+					caption: "add a comment to the recursive type",
+					edit: func(sys *TestSys) {
+						sys.appendFile("/home/src/workspaces/project/doc.ts", "\n// comment-only edit\n")
+					},
+				},
+				noChange,
+				{
+					caption: "add a union constituent",
+					edit: func(sys *TestSys) {
+						sys.replaceFileText("/home/src/workspaces/project/doc.ts", "| string", "| number\n    | string")
+					},
+				},
+				noChange,
+				{
+					caption: "verify the consumer type was not weakened",
+					edit: func(sys *TestSys) {
+						sys.appendFile("/home/src/workspaces/project/consumer.ts", "\nexport const invalid: number = value;\n")
+					},
+				},
+				noChange,
+				{
+					caption: "delete build info and check the edited source afresh",
+					edit: func(sys *TestSys) {
+						sys.removeNoError("/home/src/workspaces/project/tsconfig.tsbuildinfo")
+					},
+				},
+				noChange,
+			},
 		},
 		{
 			subScenario: "json module diagnostics are cleared after fixing the json file",
diff --git a/tsc/internal/fourslash/tests/quickInfoCanBeTruncated_test.go b/tsc/internal/fourslash/tests/quickInfoCanBeTruncated_test.go
index bc434d415d08b..481b598bdf950 100644
--- a/tsc/internal/fourslash/tests/quickInfoCanBeTruncated_test.go
+++ b/tsc/internal/fourslash/tests/quickInfoCanBeTruncated_test.go
@@ -536,5 +536,5 @@ type DeeplyMapped/*6*/ = {[K in keyof Foo]: {[K2 in keyof Foo]: [K, K2, Foo[K],
 	f.GoToMarker(t, "5")
 	f.VerifyQuickInfoIs(t, "type LongTuple = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17.18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70]", "")
 	f.GoToMarker(t, "6")
-	f.VerifyQuickInfoIs(t, "type DeeplyMapped = {\n    _0: {\n        _0: [\"_0\", \"_0\", 0, 0];\n        _1: [\"_0\", \"_1\", 0, 1];\n        _2: [\"_0\", \"_2\", 0, 2];\n        _3: [\"_0\", \"_3\", 0, 3];\n        _4: [\"_0\", \"_4\", 0, 4];\n        _5: [\"_0\", \"_5\", 0, 5];\n        _6: [\"_0\", \"_6\", 0, 6];\n        _7: [\"_0\", \"_7\", 0, 7];\n        _8: [\"_0\", \"_8\", 0, 8];\n        _9: [\"_0\", \"_9\", 0, 9];\n        _10: [\"_0\", \"_10\", 0, 10];\n        _11: [\"_0\", \"_11\", 0, 11];\n        _12: [\"_0\", \"_12\", 0, 12];\n        _13: [\"_0\", \"_13\", 0, 13];\n        _14: [\"_0\", \"_14\", 0, 14];\n        _15: [\"_0\", \"_15\", 0, 15];\n        _16: [\"_0\", \"_16\", 0, 16];\n        _17: [\"_0\", \"_17\", 0, 17];\n        _18: [\"_0\", \"_18\", 0, 18];\n        _19: [\"_0\", \"_19\", 0, 19];\n        _20: [\"_0\", \"_20\", 0, 20];\n        _21: [\"_0\", \"_21\", 0, 21];\n        ... 477 more ...;\n        _499: [...];\n    };\n    ... 498 more ...;\n    _499: ...;\n}", "")
+	f.VerifyQuickInfoIs(t, "type DeeplyMapped = {\n    _0: {\n        _0: [\"_0\", \"_0\", 0, 0];\n        _1: [\"_0\", \"_1\", 0, 1];\n        _2: [\"_0\", \"_2\", 0, 2];\n        _3: [\"_0\", \"_3\", 0, 3];\n        _4: [\"_0\", \"_4\", 0, 4];\n        _5: [\"_0\", \"_5\", 0, 5];\n        _6: [\"_0\", \"_6\", 0, 6];\n        _7: [\"_0\", \"_7\", 0, 7];\n        _8: [\"_0\", \"_8\", 0, 8];\n        _9: [\"_0\", \"_9\", 0, 9];\n        _10: [\"_0\", \"_10\", 0, 10];\n        _11: [\"_0\", \"_11\", 0, 11];\n        _12: [\"_0\", \"_12\", 0, 12];\n        _13: [\"_0\", \"_13\", 0, 13];\n        _14: [\"_0\", \"_14\", 0, 14];\n        _15: [\"_0\", \"_15\", 0, 15];\n        _16: [\"_0\", \"_16\", 0, 16];\n        _17: [\"_0\", \"_17\", 0, 17];\n        _18: [\"_0\", \"_18\", 0, 18];\n        _19: [\"_0\", \"_19\", 0, 19];\n        _20: [\"_0\", \"_20\", 0, 20];\n        _21: [\"_0\", \"_21\", 0, 21];\n        ... 477 more ...;\n        _499: ...;\n    };\n    ... 498 more ...;\n    _499: ...;\n}", "")
 }
diff --git a/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.errors.txt b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.errors.txt
index 76209cfdb022f..d46d1d28ca109 100644
--- a/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.errors.txt
+++ b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.errors.txt
@@ -1,31 +1,31 @@
-local.ts(1,17): error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
-local.ts(5,17): error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
-local.ts(9,17): error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
-local.ts(13,17): error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+local.ts(1,17): error TS5088: The inferred type of 'array' references a type with a cyclic structure which cannot be trivially serialized. A type annotation is necessary.
+local.ts(5,17): error TS5088: The inferred type of 'tuple' references a type with a cyclic structure which cannot be trivially serialized. A type annotation is necessary.
+local.ts(9,17): error TS5088: The inferred type of 'readonlyTuple' references a type with a cyclic structure which cannot be trivially serialized. A type annotation is necessary.
+local.ts(13,17): error TS5088: The inferred type of 'union' references a type with a cyclic structure which cannot be trivially serialized. A type annotation is necessary.
 
 
 ==== local.ts (4 errors) ====
     export function array() {
                     ~~~~~
-!!! error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+!!! error TS5088: The inferred type of 'array' references a type with a cyclic structure which cannot be trivially serialized. A type annotation is necessary.
         type Recursive = Recursive[];
         return null as unknown as Recursive;
     }
     export function tuple() {
                     ~~~~~
-!!! error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+!!! error TS5088: The inferred type of 'tuple' references a type with a cyclic structure which cannot be trivially serialized. A type annotation is necessary.
         type Recursive = [Recursive];
         return null as unknown as Recursive;
     }
     export function readonlyTuple() {
                     ~~~~~~~~~~~~~
-!!! error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+!!! error TS5088: The inferred type of 'readonlyTuple' references a type with a cyclic structure which cannot be trivially serialized. A type annotation is necessary.
         type Recursive = readonly [Recursive];
         return null as unknown as Recursive;
     }
     export function union() {
                     ~~~~~
-!!! error TS7056: The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.
+!!! error TS5088: The inferred type of 'union' references a type with a cyclic structure which cannot be trivially serialized. A type annotation is necessary.
         type Recursive = string | Recursive[];
         return null as unknown as Recursive;
     }
diff --git a/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.types b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.types
index 577fcb7308b0a..b5c8d4fa46b67 100644
--- a/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.types
+++ b/tsc/testdata/baselines/reference/compiler/recursiveContainerDeclarationSerialization.types
@@ -2,43 +2,43 @@
 
 === local.ts ===
 export function array() {
->array : () => any[][][][][][][][][][][]
+>array : () => any[]
 
     type Recursive = Recursive[];
->Recursive : any[][][][][][][][][][][]
+>Recursive : any[]
 
     return null as unknown as Recursive;
->null as unknown as Recursive : any[][][][][][][][][][][]
+>null as unknown as Recursive : any[]
 >null as unknown : unknown
 }
 export function tuple() {
->tuple : () => [[[[[[[[[[[any]]]]]]]]]]]
+>tuple : () => [any]
 
     type Recursive = [Recursive];
->Recursive : [[[[[[[[[[[any]]]]]]]]]]]
+>Recursive : [any]
 
     return null as unknown as Recursive;
->null as unknown as Recursive : [[[[[[[[[[[any]]]]]]]]]]]
+>null as unknown as Recursive : [any]
 >null as unknown : unknown
 }
 export function readonlyTuple() {
->readonlyTuple : () => readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [any]]]]]]]]]]]
+>readonlyTuple : () => readonly [any]
 
     type Recursive = readonly [Recursive];
->Recursive : readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [any]]]]]]]]]]]
+>Recursive : readonly [any]
 
     return null as unknown as Recursive;
->null as unknown as Recursive : readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [readonly [any]]]]]]]]]]]
+>null as unknown as Recursive : readonly [any]
 >null as unknown : unknown
 }
 export function union() {
->union : () => string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | any)[])[])[])[])[])[])[])[])[])[])[]
+>union : () => string | (string | any)[]
 
     type Recursive = string | Recursive[];
->Recursive : string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | any)[])[])[])[])[])[])[])[])[])[])[]
+>Recursive : string | (string | any)[]
 
     return null as unknown as Recursive;
->null as unknown as Recursive : string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | (string | any)[])[])[])[])[])[])[])[])[])[])[]
+>null as unknown as Recursive : string | (string | any)[]
 >null as unknown : unknown
 }
 
diff --git a/tsc/testdata/baselines/reference/compiler/recursiveTypeInference2.types b/tsc/testdata/baselines/reference/compiler/recursiveTypeInference2.types
index 5cba09f8890e8..bbb72418857ba 100644
--- a/tsc/testdata/baselines/reference/compiler/recursiveTypeInference2.types
+++ b/tsc/testdata/baselines/reference/compiler/recursiveTypeInference2.types
@@ -140,11 +140,11 @@ const Tree = object({
 
     return array(Tree).default([])
 >array(Tree).default([]) : ZodDefault<ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>>
->array(Tree).default : { (def: { name: string; children: any[]; }[]): ZodDefault<ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>>; (def: () => { name: string; children: any[]; }[]): ZodDefault<ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>>; }
+>array(Tree).default : { (def: { name: string; children: any; }[]): ZodDefault<ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>>; (def: () => { name: string; children: any; }[]): ZodDefault<ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>>; }
 >array(Tree) : ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>
 >array : <T extends $ZodType>(element: T) => ZodArray<T>
 >Tree : ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>
->default : { (def: { name: string; children: any[]; }[]): ZodDefault<ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>>; (def: () => { name: string; children: any[]; }[]): ZodDefault<ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>>; }
+>default : { (def: { name: string; children: any; }[]): ZodDefault<ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>>; (def: () => { name: string; children: any; }[]): ZodDefault<ZodArray<ZodObject<Writeable<{ name: ZodString; readonly children: ZodDefault<ZodArray<ZodObject<Writeable<any>>>>; }>>>>; }
 >[] : never[]
 
   },
diff --git a/tsc/testdata/baselines/reference/tsc/incremental/recursive-tagged-tuple-after-incremental-edits.js b/tsc/testdata/baselines/reference/tsc/incremental/recursive-tagged-tuple-after-incremental-edits.js
index e64c720d2569e..4b5a5ad527188 100644
--- a/tsc/testdata/baselines/reference/tsc/incremental/recursive-tagged-tuple-after-incremental-edits.js
+++ b/tsc/testdata/baselines/reference/tsc/incremental/recursive-tagged-tuple-after-incremental-edits.js
@@ -136,3 +136,565 @@ Output::
 tsconfig.json::
 SemanticDiagnostics::
 Signatures::
+
+
+Edit [1]:: add a comment to the recursive type
+//// [/home/src/workspaces/project/doc.ts] *modified* 
+type Doc =
+    | string
+    | { [k: string]: Doc }
+    | readonly ["array", Doc]
+    | readonly ["array", Doc, { length: number }]
+    | readonly ["array", Doc, { min?: number; max?: number }]
+    | readonly ["union", Doc, ...Doc[]];
+export declare const doc: Doc;
+// comment-only edit
+
+
+tsgo 
+ExitStatus:: Success
+Output::
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo] *modified* 
+{"version":"FakeTSVersion","root":[[2,3]],"fileNames":["lib.es2026.full.d.ts","./doc.ts","./consumer.ts"],"fileInfos":[{"version":"0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };","affectsGlobalScope":true,"impliedNodeFormat":1},{"version":"209790a380ab2edc475c402e3a85e110-type Doc =\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n","signature":"17befdf8983ce76b78c64e0ef9b49c73-type Doc = string | {\n    [k: string]: Doc;\n} | readonly [\"array\", Doc] | readonly [\"array\", Doc, {\n    length: number;\n}] | readonly [\"array\", Doc, {\n    min?: number;\n    max?: number;\n}] | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\nexport {};\n","impliedNodeFormat":1},{"version":"e3e1863b40b48bf670281f2578788e0b-import { doc } from \"./doc\";\nexport const value = doc;","signature":"a56617d7ff45ff02880e982e94937f59-export declare const value: any;\n\n(42,5): error5088: The_inferred_type_of_0_references_a_type_with_a_cyclic_structure_which_cannot_be_trivially_serialize_5088\nvalue\n","impliedNodeFormat":1}],"fileIdsList":[[2]],"options":{"module":99,"strict":true},"referencedMap":[[3,1]],"affectedFilesPendingEmit":[3,2]}
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo.readable.baseline.txt] *modified* 
+{
+  "version": "FakeTSVersion",
+  "root": [
+    {
+      "files": [
+        "./doc.ts",
+        "./consumer.ts"
+      ],
+      "original": [
+        2,
+        3
+      ]
+    }
+  ],
+  "fileNames": [
+    "lib.es2026.full.d.ts",
+    "./doc.ts",
+    "./consumer.ts"
+  ],
+  "fileInfos": [
+    {
+      "fileName": "lib.es2026.full.d.ts",
+      "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "signature": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "affectsGlobalScope": true,
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+        "affectsGlobalScope": true,
+        "impliedNodeFormat": 1
+      }
+    },
+    {
+      "fileName": "./doc.ts",
+      "version": "209790a380ab2edc475c402e3a85e110-type Doc =\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n",
+      "signature": "17befdf8983ce76b78c64e0ef9b49c73-type Doc = string | {\n    [k: string]: Doc;\n} | readonly [\"array\", Doc] | readonly [\"array\", Doc, {\n    length: number;\n}] | readonly [\"array\", Doc, {\n    min?: number;\n    max?: number;\n}] | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\nexport {};\n",
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "209790a380ab2edc475c402e3a85e110-type Doc =\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n",
+        "signature": "17befdf8983ce76b78c64e0ef9b49c73-type Doc = string | {\n    [k: string]: Doc;\n} | readonly [\"array\", Doc] | readonly [\"array\", Doc, {\n    length: number;\n}] | readonly [\"array\", Doc, {\n    min?: number;\n    max?: number;\n}] | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\nexport {};\n",
+        "impliedNodeFormat": 1
+      }
+    },
+    {
+      "fileName": "./consumer.ts",
+      "version": "e3e1863b40b48bf670281f2578788e0b-import { doc } from \"./doc\";\nexport const value = doc;",
+      "signature": "a56617d7ff45ff02880e982e94937f59-export declare const value: any;\n\n(42,5): error5088: The_inferred_type_of_0_references_a_type_with_a_cyclic_structure_which_cannot_be_trivially_serialize_5088\nvalue\n",
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "e3e1863b40b48bf670281f2578788e0b-import { doc } from \"./doc\";\nexport const value = doc;",
+        "signature": "a56617d7ff45ff02880e982e94937f59-export declare const value: any;\n\n(42,5): error5088: The_inferred_type_of_0_references_a_type_with_a_cyclic_structure_which_cannot_be_trivially_serialize_5088\nvalue\n",
+        "impliedNodeFormat": 1
+      }
+    }
+  ],
+  "fileIdsList": [
+    [
+      "./doc.ts"
+    ]
+  ],
+  "options": {
+    "module": 99,
+    "strict": true
+  },
+  "referencedMap": {
+    "./consumer.ts": [
+      "./doc.ts"
+    ]
+  },
+  "affectedFilesPendingEmit": [
+    [
+      "./consumer.ts",
+      "Js",
+      3
+    ],
+    [
+      "./doc.ts",
+      "Js",
+      2
+    ]
+  ],
+  "size": 2108
+}
+
+tsconfig.json::
+SemanticDiagnostics::
+*refresh*    /home/src/workspaces/project/doc.ts
+*refresh*    /home/src/workspaces/project/consumer.ts
+Signatures::
+(computed .d.ts) /home/src/workspaces/project/doc.ts
+(computed .d.ts) /home/src/workspaces/project/consumer.ts
+
+
+Edit [2]:: no change
+
+tsgo 
+ExitStatus:: Success
+Output::
+
+tsconfig.json::
+SemanticDiagnostics::
+Signatures::
+
+
+Edit [3]:: add a union constituent
+//// [/home/src/workspaces/project/doc.ts] *modified* 
+type Doc =
+    | number
+    | string
+    | { [k: string]: Doc }
+    | readonly ["array", Doc]
+    | readonly ["array", Doc, { length: number }]
+    | readonly ["array", Doc, { min?: number; max?: number }]
+    | readonly ["union", Doc, ...Doc[]];
+export declare const doc: Doc;
+// comment-only edit
+
+
+tsgo 
+ExitStatus:: Success
+Output::
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo] *modified* 
+{"version":"FakeTSVersion","root":[[2,3]],"fileNames":["lib.es2026.full.d.ts","./doc.ts","./consumer.ts"],"fileInfos":[{"version":"0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };","affectsGlobalScope":true,"impliedNodeFormat":1},{"version":"703658314ddb6e78faa0ecabe01e9319-type Doc =\n    | number\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n","signature":"e0d759702454fa5818ea5747e4408ca8-type Doc = number | string | {\n    [k: string]: Doc;\n} | readonly [\"array\", Doc] | readonly [\"array\", Doc, {\n    length: number;\n}] | readonly [\"array\", Doc, {\n    min?: number;\n    max?: number;\n}] | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\nexport {};\n","impliedNodeFormat":1},{"version":"e3e1863b40b48bf670281f2578788e0b-import { doc } from \"./doc\";\nexport const value = doc;","signature":"a56617d7ff45ff02880e982e94937f59-export declare const value: any;\n\n(42,5): error5088: The_inferred_type_of_0_references_a_type_with_a_cyclic_structure_which_cannot_be_trivially_serialize_5088\nvalue\n","impliedNodeFormat":1}],"fileIdsList":[[2]],"options":{"module":99,"strict":true},"referencedMap":[[3,1]],"affectedFilesPendingEmit":[3,2]}
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo.readable.baseline.txt] *modified* 
+{
+  "version": "FakeTSVersion",
+  "root": [
+    {
+      "files": [
+        "./doc.ts",
+        "./consumer.ts"
+      ],
+      "original": [
+        2,
+        3
+      ]
+    }
+  ],
+  "fileNames": [
+    "lib.es2026.full.d.ts",
+    "./doc.ts",
+    "./consumer.ts"
+  ],
+  "fileInfos": [
+    {
+      "fileName": "lib.es2026.full.d.ts",
+      "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "signature": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "affectsGlobalScope": true,
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+        "affectsGlobalScope": true,
+        "impliedNodeFormat": 1
+      }
+    },
+    {
+      "fileName": "./doc.ts",
+      "version": "703658314ddb6e78faa0ecabe01e9319-type Doc =\n    | number\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n",
+      "signature": "e0d759702454fa5818ea5747e4408ca8-type Doc = number | string | {\n    [k: string]: Doc;\n} | readonly [\"array\", Doc] | readonly [\"array\", Doc, {\n    length: number;\n}] | readonly [\"array\", Doc, {\n    min?: number;\n    max?: number;\n}] | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\nexport {};\n",
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "703658314ddb6e78faa0ecabe01e9319-type Doc =\n    | number\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n",
+        "signature": "e0d759702454fa5818ea5747e4408ca8-type Doc = number | string | {\n    [k: string]: Doc;\n} | readonly [\"array\", Doc] | readonly [\"array\", Doc, {\n    length: number;\n}] | readonly [\"array\", Doc, {\n    min?: number;\n    max?: number;\n}] | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\nexport {};\n",
+        "impliedNodeFormat": 1
+      }
+    },
+    {
+      "fileName": "./consumer.ts",
+      "version": "e3e1863b40b48bf670281f2578788e0b-import { doc } from \"./doc\";\nexport const value = doc;",
+      "signature": "a56617d7ff45ff02880e982e94937f59-export declare const value: any;\n\n(42,5): error5088: The_inferred_type_of_0_references_a_type_with_a_cyclic_structure_which_cannot_be_trivially_serialize_5088\nvalue\n",
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "e3e1863b40b48bf670281f2578788e0b-import { doc } from \"./doc\";\nexport const value = doc;",
+        "signature": "a56617d7ff45ff02880e982e94937f59-export declare const value: any;\n\n(42,5): error5088: The_inferred_type_of_0_references_a_type_with_a_cyclic_structure_which_cannot_be_trivially_serialize_5088\nvalue\n",
+        "impliedNodeFormat": 1
+      }
+    }
+  ],
+  "fileIdsList": [
+    [
+      "./doc.ts"
+    ]
+  ],
+  "options": {
+    "module": 99,
+    "strict": true
+  },
+  "referencedMap": {
+    "./consumer.ts": [
+      "./doc.ts"
+    ]
+  },
+  "affectedFilesPendingEmit": [
+    [
+      "./consumer.ts",
+      "Js",
+      3
+    ],
+    [
+      "./doc.ts",
+      "Js",
+      2
+    ]
+  ],
+  "size": 2131
+}
+
+tsconfig.json::
+SemanticDiagnostics::
+*refresh*    /home/src/workspaces/project/doc.ts
+*refresh*    /home/src/workspaces/project/consumer.ts
+Signatures::
+(computed .d.ts) /home/src/workspaces/project/doc.ts
+(computed .d.ts) /home/src/workspaces/project/consumer.ts
+
+
+Edit [4]:: no change
+
+tsgo 
+ExitStatus:: Success
+Output::
+
+tsconfig.json::
+SemanticDiagnostics::
+Signatures::
+
+
+Edit [5]:: verify the consumer type was not weakened
+//// [/home/src/workspaces/project/consumer.ts] *modified* 
+import { doc } from "./doc";
+export const value = doc;
+export const invalid: number = value;
+
+
+tsgo 
+ExitStatus:: DiagnosticsPresent_OutputsGenerated
+Output::
+consumer.ts:3:14 - error TS2322: Type 'Doc' is not assignable to type 'number'.
+  Type 'string' is not assignable to type 'number'.
+
+3 export const invalid: number = value;
+               ~~~~~~~
+
+
+Found 1 error in consumer.ts:3
+
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo] *modified* 
+{"version":"FakeTSVersion","root":[[2,3]],"fileNames":["lib.es2026.full.d.ts","./doc.ts","./consumer.ts"],"fileInfos":[{"version":"0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };","affectsGlobalScope":true,"impliedNodeFormat":1},{"version":"703658314ddb6e78faa0ecabe01e9319-type Doc =\n    | number\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n","signature":"e0d759702454fa5818ea5747e4408ca8-type Doc = number | string | {\n    [k: string]: Doc;\n} | readonly [\"array\", Doc] | readonly [\"array\", Doc, {\n    length: number;\n}] | readonly [\"array\", Doc, {\n    min?: number;\n    max?: number;\n}] | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\nexport {};\n","impliedNodeFormat":1},{"version":"8af491d326de0701fb4d07a415b35dec-import { doc } from \"./doc\";\nexport const value = doc;\nexport const invalid: number = value;\n","signature":"b0465247e2bd6863c6a086f723d673e8-export declare const value: any;\nexport declare const invalid: number;\n\n(42,5): error5088: The_inferred_type_of_0_references_a_type_with_a_cyclic_structure_which_cannot_be_trivially_serialize_5088\nvalue\n","impliedNodeFormat":1}],"fileIdsList":[[2]],"options":{"module":99,"strict":true},"referencedMap":[[3,1]],"semanticDiagnosticsPerFile":[[3,[{"pos":68,"end":75,"code":2322,"category":1,"messageKey":"Type_0_is_not_assignable_to_type_1_2322","messageArgs":["Doc","number"],"messageChain":[{"pos":68,"end":75,"code":2322,"category":1,"messageKey":"Type_0_is_not_assignable_to_type_1_2322","messageArgs":["string","number"]}]}]]],"affectedFilesPendingEmit":[3,2]}
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo.readable.baseline.txt] *modified* 
+{
+  "version": "FakeTSVersion",
+  "root": [
+    {
+      "files": [
+        "./doc.ts",
+        "./consumer.ts"
+      ],
+      "original": [
+        2,
+        3
+      ]
+    }
+  ],
+  "fileNames": [
+    "lib.es2026.full.d.ts",
+    "./doc.ts",
+    "./consumer.ts"
+  ],
+  "fileInfos": [
+    {
+      "fileName": "lib.es2026.full.d.ts",
+      "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "signature": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "affectsGlobalScope": true,
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+        "affectsGlobalScope": true,
+        "impliedNodeFormat": 1
+      }
+    },
+    {
+      "fileName": "./doc.ts",
+      "version": "703658314ddb6e78faa0ecabe01e9319-type Doc =\n    | number\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n",
+      "signature": "e0d759702454fa5818ea5747e4408ca8-type Doc = number | string | {\n    [k: string]: Doc;\n} | readonly [\"array\", Doc] | readonly [\"array\", Doc, {\n    length: number;\n}] | readonly [\"array\", Doc, {\n    min?: number;\n    max?: number;\n}] | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\nexport {};\n",
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "703658314ddb6e78faa0ecabe01e9319-type Doc =\n    | number\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n",
+        "signature": "e0d759702454fa5818ea5747e4408ca8-type Doc = number | string | {\n    [k: string]: Doc;\n} | readonly [\"array\", Doc] | readonly [\"array\", Doc, {\n    length: number;\n}] | readonly [\"array\", Doc, {\n    min?: number;\n    max?: number;\n}] | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\nexport {};\n",
+        "impliedNodeFormat": 1
+      }
+    },
+    {
+      "fileName": "./consumer.ts",
+      "version": "8af491d326de0701fb4d07a415b35dec-import { doc } from \"./doc\";\nexport const value = doc;\nexport const invalid: number = value;\n",
+      "signature": "b0465247e2bd6863c6a086f723d673e8-export declare const value: any;\nexport declare const invalid: number;\n\n(42,5): error5088: The_inferred_type_of_0_references_a_type_with_a_cyclic_structure_which_cannot_be_trivially_serialize_5088\nvalue\n",
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "8af491d326de0701fb4d07a415b35dec-import { doc } from \"./doc\";\nexport const value = doc;\nexport const invalid: number = value;\n",
+        "signature": "b0465247e2bd6863c6a086f723d673e8-export declare const value: any;\nexport declare const invalid: number;\n\n(42,5): error5088: The_inferred_type_of_0_references_a_type_with_a_cyclic_structure_which_cannot_be_trivially_serialize_5088\nvalue\n",
+        "impliedNodeFormat": 1
+      }
+    }
+  ],
+  "fileIdsList": [
+    [
+      "./doc.ts"
+    ]
+  ],
+  "options": {
+    "module": 99,
+    "strict": true
+  },
+  "referencedMap": {
+    "./consumer.ts": [
+      "./doc.ts"
+    ]
+  },
+  "semanticDiagnosticsPerFile": [
+    [
+      "./consumer.ts",
+      [
+        {
+          "pos": 68,
+          "end": 75,
+          "code": 2322,
+          "category": 1,
+          "messageKey": "Type_0_is_not_assignable_to_type_1_2322",
+          "messageArgs": [
+            "Doc",
+            "number"
+          ],
+          "messageChain": [
+            {
+              "pos": 68,
+              "end": 75,
+              "code": 2322,
+              "category": 1,
+              "messageKey": "Type_0_is_not_assignable_to_type_1_2322",
+              "messageArgs": [
+                "string",
+                "number"
+              ]
+            }
+          ]
+        }
+      ]
+    ]
+  ],
+  "affectedFilesPendingEmit": [
+    [
+      "./consumer.ts",
+      "Js",
+      3
+    ],
+    [
+      "./doc.ts",
+      "Js",
+      2
+    ]
+  ],
+  "size": 2530
+}
+
+tsconfig.json::
+SemanticDiagnostics::
+*refresh*    /home/src/workspaces/project/consumer.ts
+Signatures::
+(computed .d.ts) /home/src/workspaces/project/consumer.ts
+
+
+Edit [6]:: no change
+
+tsgo 
+ExitStatus:: DiagnosticsPresent_OutputsGenerated
+Output::
+consumer.ts:3:14 - error TS2322: Type 'Doc' is not assignable to type 'number'.
+  Type 'string' is not assignable to type 'number'.
+
+3 export const invalid: number = value;
+               ~~~~~~~
+
+
+Found 1 error in consumer.ts:3
+
+
+tsconfig.json::
+SemanticDiagnostics::
+Signatures::
+
+
+Edit [7]:: delete build info and check the edited source afresh
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo] *deleted*
+
+tsgo 
+ExitStatus:: DiagnosticsPresent_OutputsGenerated
+Output::
+consumer.ts:3:14 - error TS2322: Type 'Doc' is not assignable to type 'number'.
+  Type 'string' is not assignable to type 'number'.
+
+3 export const invalid: number = value;
+               ~~~~~~~
+
+
+Found 1 error in consumer.ts:3
+
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo] *new* 
+{"version":"FakeTSVersion","root":[[2,3]],"fileNames":["lib.es2026.full.d.ts","./doc.ts","./consumer.ts"],"fileInfos":[{"version":"0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };","affectsGlobalScope":true,"impliedNodeFormat":1},"703658314ddb6e78faa0ecabe01e9319-type Doc =\n    | number\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n","8af491d326de0701fb4d07a415b35dec-import { doc } from \"./doc\";\nexport const value = doc;\nexport const invalid: number = value;\n"],"fileIdsList":[[2]],"options":{"module":99,"strict":true},"referencedMap":[[3,1]],"semanticDiagnosticsPerFile":[[3,[{"pos":68,"end":75,"code":2322,"category":1,"messageKey":"Type_0_is_not_assignable_to_type_1_2322","messageArgs":["Doc","number"],"messageChain":[{"pos":68,"end":75,"code":2322,"category":1,"messageKey":"Type_0_is_not_assignable_to_type_1_2322","messageArgs":["string","number"]}]}]]],"affectedFilesPendingEmit":[3,2]}
+//// [/home/src/workspaces/project/tsconfig.tsbuildinfo.readable.baseline.txt] *modified* 
+{
+  "version": "FakeTSVersion",
+  "root": [
+    {
+      "files": [
+        "./doc.ts",
+        "./consumer.ts"
+      ],
+      "original": [
+        2,
+        3
+      ]
+    }
+  ],
+  "fileNames": [
+    "lib.es2026.full.d.ts",
+    "./doc.ts",
+    "./consumer.ts"
+  ],
+  "fileInfos": [
+    {
+      "fileName": "lib.es2026.full.d.ts",
+      "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "signature": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+      "affectsGlobalScope": true,
+      "impliedNodeFormat": "CommonJS",
+      "original": {
+        "version": "0e330bc1e98a7e2601e4b38548df5e2b-/// <reference no-default-lib=\"true\"/>\ninterface Boolean {}\ninterface Function {}\ninterface CallableFunction {}\ninterface NewableFunction {}\ninterface IArguments {}\ninterface Number { toExponential: any; }\ninterface Object {}\ninterface RegExp {}\ninterface String { charAt: any; }\ninterface Array<T> { length: number; [n: number]: T; }\ninterface ReadonlyArray<T> { readonly length: number; readonly [n: number]: T; }\ninterface SymbolConstructor {\n    (desc?: string | number): symbol;\n    for(name: string): symbol;\n    readonly toStringTag: symbol;\n}\ndeclare var Symbol: SymbolConstructor;\ninterface Symbol {\n    readonly [Symbol.toStringTag]: string;\n}\ndeclare const console: { log(msg: any): void; };",
+        "affectsGlobalScope": true,
+        "impliedNodeFormat": 1
+      }
+    },
+    {
+      "fileName": "./doc.ts",
+      "version": "703658314ddb6e78faa0ecabe01e9319-type Doc =\n    | number\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n",
+      "signature": "703658314ddb6e78faa0ecabe01e9319-type Doc =\n    | number\n    | string\n    | { [k: string]: Doc }\n    | readonly [\"array\", Doc]\n    | readonly [\"array\", Doc, { length: number }]\n    | readonly [\"array\", Doc, { min?: number; max?: number }]\n    | readonly [\"union\", Doc, ...Doc[]];\nexport declare const doc: Doc;\n// comment-only edit\n",
+      "impliedNodeFormat": "CommonJS"
+    },
+    {
+      "fileName": "./consumer.ts",
+      "version": "8af491d326de0701fb4d07a415b35dec-import { doc } from \"./doc\";\nexport const value = doc;\nexport const invalid: number = value;\n",
+      "signature": "8af491d326de0701fb4d07a415b35dec-import { doc } from \"./doc\";\nexport const value = doc;\nexport const invalid: number = value;\n",
+      "impliedNodeFormat": "CommonJS"
+    }
+  ],
+  "fileIdsList": [
+    [
+      "./doc.ts"
+    ]
+  ],
+  "options": {
+    "module": 99,
+    "strict": true
+  },
+  "referencedMap": {
+    "./consumer.ts": [
+      "./doc.ts"
+    ]
+  },
+  "semanticDiagnosticsPerFile": [
+    [
+      "./consumer.ts",
+      [
+        {
+          "pos": 68,
+          "end": 75,
+          "code": 2322,
+          "category": 1,
+          "messageKey": "Type_0_is_not_assignable_to_type_1_2322",
+          "messageArgs": [
+            "Doc",
+            "number"
+          ],
+          "messageChain": [
+            {
+              "pos": 68,
+              "end": 75,
+              "code": 2322,
+              "category": 1,
+              "messageKey": "Type_0_is_not_assignable_to_type_1_2322",
+              "messageArgs": [
+                "string",
+                "number"
+              ]
+            }
+          ]
+        }
+      ]
+    ]
+  ],
+  "affectedFilesPendingEmit": [
+    [
+      "./consumer.ts",
+      "Js",
+      3
+    ],
+    [
+      "./doc.ts",
+      "Js",
+      2
+    ]
+  ],
+  "size": 1862
+}
+
+tsconfig.json::
+SemanticDiagnostics::
+*refresh*    /home/src/tslibs/TS/Lib/lib.es2026.full.d.ts
+*refresh*    /home/src/workspaces/project/doc.ts
+*refresh*    /home/src/workspaces/project/consumer.ts
+Signatures::
+
+
+Edit [8]:: no change
+
+tsgo 
+ExitStatus:: DiagnosticsPresent_OutputsGenerated
+Output::
+consumer.ts:3:14 - error TS2322: Type 'Doc' is not assignable to type 'number'.
+  Type 'string' is not assignable to type 'number'.
+
+3 export const invalid: number = value;
+               ~~~~~~~
+
+
+Found 1 error in consumer.ts:3
+
+
+tsconfig.json::
+SemanticDiagnostics::
+Signatures::