diff --git a/tests/baselines/reference/arrayLiteralInference.js b/tests/baselines/reference/arrayLiteralInference.js
new file mode 100644
index 00000000000..6b98b22394a
--- /dev/null
+++ b/tests/baselines/reference/arrayLiteralInference.js
@@ -0,0 +1,65 @@
+//// [arrayLiteralInference.ts]
+// Repro from #31204
+
+export enum AppType {
+    HeaderDetail = 'HeaderDetail',
+    HeaderMultiDetail = 'HeaderMultiDetail',
+    AdvancedList = 'AdvancedList',
+    Standard = 'Standard',
+    Relationship = 'Relationship',
+    Report = 'Report',
+    Composite = 'Composite',
+    ListOnly = 'ListOnly',
+    ModuleSettings = 'ModuleSettings'
+}
+
+export enum AppStyle {
+    Tree,
+    TreeEntity,
+    Standard,
+    MiniApp,
+    PivotTable
+}
+
+const appTypeStylesWithError: Map<AppType, Array<AppStyle>> = new Map([
+    [AppType.Standard, [AppStyle.Standard, AppStyle.MiniApp]],
+    [AppType.Relationship, [AppStyle.Standard, AppStyle.Tree, AppStyle.TreeEntity]],
+    [AppType.AdvancedList, [AppStyle.Standard, AppStyle.MiniApp]]
+]);
+
+// Repro from #31204
+
+declare function foo<T>(...args: T[]): T[];
+let b1: { x: boolean }[] = foo({ x: true }, { x: false });
+let b2: boolean[][] = foo([true], [false]);
+
+
+//// [arrayLiteralInference.js]
+// Repro from #31204
+export var AppType;
+(function (AppType) {
+    AppType["HeaderDetail"] = "HeaderDetail";
+    AppType["HeaderMultiDetail"] = "HeaderMultiDetail";
+    AppType["AdvancedList"] = "AdvancedList";
+    AppType["Standard"] = "Standard";
+    AppType["Relationship"] = "Relationship";
+    AppType["Report"] = "Report";
+    AppType["Composite"] = "Composite";
+    AppType["ListOnly"] = "ListOnly";
+    AppType["ModuleSettings"] = "ModuleSettings";
+})(AppType || (AppType = {}));
+export var AppStyle;
+(function (AppStyle) {
+    AppStyle[AppStyle["Tree"] = 0] = "Tree";
+    AppStyle[AppStyle["TreeEntity"] = 1] = "TreeEntity";
+    AppStyle[AppStyle["Standard"] = 2] = "Standard";
+    AppStyle[AppStyle["MiniApp"] = 3] = "MiniApp";
+    AppStyle[AppStyle["PivotTable"] = 4] = "PivotTable";
+})(AppStyle || (AppStyle = {}));
+const appTypeStylesWithError = new Map([
+    [AppType.Standard, [AppStyle.Standard, AppStyle.MiniApp]],
+    [AppType.Relationship, [AppStyle.Standard, AppStyle.Tree, AppStyle.TreeEntity]],
+    [AppType.AdvancedList, [AppStyle.Standard, AppStyle.MiniApp]]
+]);
+let b1 = foo({ x: true }, { x: false });
+let b2 = foo([true], [false]);
diff --git a/tests/baselines/reference/arrayLiteralInference.symbols b/tests/baselines/reference/arrayLiteralInference.symbols
new file mode 100644
index 00000000000..cdb89eb2061
--- /dev/null
+++ b/tests/baselines/reference/arrayLiteralInference.symbols
@@ -0,0 +1,119 @@
+=== tests/cases/conformance/expressions/arrayLiterals/arrayLiteralInference.ts ===
+// Repro from #31204
+
+export enum AppType {
+>AppType : Symbol(AppType, Decl(arrayLiteralInference.ts, 0, 0))
+
+    HeaderDetail = 'HeaderDetail',
+>HeaderDetail : Symbol(AppType.HeaderDetail, Decl(arrayLiteralInference.ts, 2, 21))
+
+    HeaderMultiDetail = 'HeaderMultiDetail',
+>HeaderMultiDetail : Symbol(AppType.HeaderMultiDetail, Decl(arrayLiteralInference.ts, 3, 34))
+
+    AdvancedList = 'AdvancedList',
+>AdvancedList : Symbol(AppType.AdvancedList, Decl(arrayLiteralInference.ts, 4, 44))
+
+    Standard = 'Standard',
+>Standard : Symbol(AppType.Standard, Decl(arrayLiteralInference.ts, 5, 34))
+
+    Relationship = 'Relationship',
+>Relationship : Symbol(AppType.Relationship, Decl(arrayLiteralInference.ts, 6, 26))
+
+    Report = 'Report',
+>Report : Symbol(AppType.Report, Decl(arrayLiteralInference.ts, 7, 34))
+
+    Composite = 'Composite',
+>Composite : Symbol(AppType.Composite, Decl(arrayLiteralInference.ts, 8, 22))
+
+    ListOnly = 'ListOnly',
+>ListOnly : Symbol(AppType.ListOnly, Decl(arrayLiteralInference.ts, 9, 28))
+
+    ModuleSettings = 'ModuleSettings'
+>ModuleSettings : Symbol(AppType.ModuleSettings, Decl(arrayLiteralInference.ts, 10, 26))
+}
+
+export enum AppStyle {
+>AppStyle : Symbol(AppStyle, Decl(arrayLiteralInference.ts, 12, 1))
+
+    Tree,
+>Tree : Symbol(AppStyle.Tree, Decl(arrayLiteralInference.ts, 14, 22))
+
+    TreeEntity,
+>TreeEntity : Symbol(AppStyle.TreeEntity, Decl(arrayLiteralInference.ts, 15, 9))
+
+    Standard,
+>Standard : Symbol(AppStyle.Standard, Decl(arrayLiteralInference.ts, 16, 15))
+
+    MiniApp,
+>MiniApp : Symbol(AppStyle.MiniApp, Decl(arrayLiteralInference.ts, 17, 13))
+
+    PivotTable
+>PivotTable : Symbol(AppStyle.PivotTable, Decl(arrayLiteralInference.ts, 18, 12))
+}
+
+const appTypeStylesWithError: Map<AppType, Array<AppStyle>> = new Map([
+>appTypeStylesWithError : Symbol(appTypeStylesWithError, Decl(arrayLiteralInference.ts, 22, 5))
+>Map : Symbol(Map, Decl(lib.es2015.collection.d.ts, --, --), Decl(lib.es2015.collection.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
+>AppType : Symbol(AppType, Decl(arrayLiteralInference.ts, 0, 0))
+>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, --, --))
+>AppStyle : Symbol(AppStyle, Decl(arrayLiteralInference.ts, 12, 1))
+>Map : Symbol(Map, Decl(lib.es2015.collection.d.ts, --, --), Decl(lib.es2015.collection.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
+
+    [AppType.Standard, [AppStyle.Standard, AppStyle.MiniApp]],
+>AppType.Standard : Symbol(AppType.Standard, Decl(arrayLiteralInference.ts, 5, 34))
+>AppType : Symbol(AppType, Decl(arrayLiteralInference.ts, 0, 0))
+>Standard : Symbol(AppType.Standard, Decl(arrayLiteralInference.ts, 5, 34))
+>AppStyle.Standard : Symbol(AppStyle.Standard, Decl(arrayLiteralInference.ts, 16, 15))
+>AppStyle : Symbol(AppStyle, Decl(arrayLiteralInference.ts, 12, 1))
+>Standard : Symbol(AppStyle.Standard, Decl(arrayLiteralInference.ts, 16, 15))
+>AppStyle.MiniApp : Symbol(AppStyle.MiniApp, Decl(arrayLiteralInference.ts, 17, 13))
+>AppStyle : Symbol(AppStyle, Decl(arrayLiteralInference.ts, 12, 1))
+>MiniApp : Symbol(AppStyle.MiniApp, Decl(arrayLiteralInference.ts, 17, 13))
+
+    [AppType.Relationship, [AppStyle.Standard, AppStyle.Tree, AppStyle.TreeEntity]],
+>AppType.Relationship : Symbol(AppType.Relationship, Decl(arrayLiteralInference.ts, 6, 26))
+>AppType : Symbol(AppType, Decl(arrayLiteralInference.ts, 0, 0))
+>Relationship : Symbol(AppType.Relationship, Decl(arrayLiteralInference.ts, 6, 26))
+>AppStyle.Standard : Symbol(AppStyle.Standard, Decl(arrayLiteralInference.ts, 16, 15))
+>AppStyle : Symbol(AppStyle, Decl(arrayLiteralInference.ts, 12, 1))
+>Standard : Symbol(AppStyle.Standard, Decl(arrayLiteralInference.ts, 16, 15))
+>AppStyle.Tree : Symbol(AppStyle.Tree, Decl(arrayLiteralInference.ts, 14, 22))
+>AppStyle : Symbol(AppStyle, Decl(arrayLiteralInference.ts, 12, 1))
+>Tree : Symbol(AppStyle.Tree, Decl(arrayLiteralInference.ts, 14, 22))
+>AppStyle.TreeEntity : Symbol(AppStyle.TreeEntity, Decl(arrayLiteralInference.ts, 15, 9))
+>AppStyle : Symbol(AppStyle, Decl(arrayLiteralInference.ts, 12, 1))
+>TreeEntity : Symbol(AppStyle.TreeEntity, Decl(arrayLiteralInference.ts, 15, 9))
+
+    [AppType.AdvancedList, [AppStyle.Standard, AppStyle.MiniApp]]
+>AppType.AdvancedList : Symbol(AppType.AdvancedList, Decl(arrayLiteralInference.ts, 4, 44))
+>AppType : Symbol(AppType, Decl(arrayLiteralInference.ts, 0, 0))
+>AdvancedList : Symbol(AppType.AdvancedList, Decl(arrayLiteralInference.ts, 4, 44))
+>AppStyle.Standard : Symbol(AppStyle.Standard, Decl(arrayLiteralInference.ts, 16, 15))
+>AppStyle : Symbol(AppStyle, Decl(arrayLiteralInference.ts, 12, 1))
+>Standard : Symbol(AppStyle.Standard, Decl(arrayLiteralInference.ts, 16, 15))
+>AppStyle.MiniApp : Symbol(AppStyle.MiniApp, Decl(arrayLiteralInference.ts, 17, 13))
+>AppStyle : Symbol(AppStyle, Decl(arrayLiteralInference.ts, 12, 1))
+>MiniApp : Symbol(AppStyle.MiniApp, Decl(arrayLiteralInference.ts, 17, 13))
+
+]);
+
+// Repro from #31204
+
+declare function foo<T>(...args: T[]): T[];
+>foo : Symbol(foo, Decl(arrayLiteralInference.ts, 26, 3))
+>T : Symbol(T, Decl(arrayLiteralInference.ts, 30, 21))
+>args : Symbol(args, Decl(arrayLiteralInference.ts, 30, 24))
+>T : Symbol(T, Decl(arrayLiteralInference.ts, 30, 21))
+>T : Symbol(T, Decl(arrayLiteralInference.ts, 30, 21))
+
+let b1: { x: boolean }[] = foo({ x: true }, { x: false });
+>b1 : Symbol(b1, Decl(arrayLiteralInference.ts, 31, 3))
+>x : Symbol(x, Decl(arrayLiteralInference.ts, 31, 9))
+>foo : Symbol(foo, Decl(arrayLiteralInference.ts, 26, 3))
+>x : Symbol(x, Decl(arrayLiteralInference.ts, 31, 32))
+>x : Symbol(x, Decl(arrayLiteralInference.ts, 31, 45))
+
+let b2: boolean[][] = foo([true], [false]);
+>b2 : Symbol(b2, Decl(arrayLiteralInference.ts, 32, 3))
+>foo : Symbol(foo, Decl(arrayLiteralInference.ts, 26, 3))
+
diff --git a/tests/baselines/reference/arrayLiteralInference.types b/tests/baselines/reference/arrayLiteralInference.types
new file mode 100644
index 00000000000..fc7bdc8c032
--- /dev/null
+++ b/tests/baselines/reference/arrayLiteralInference.types
@@ -0,0 +1,139 @@
+=== tests/cases/conformance/expressions/arrayLiterals/arrayLiteralInference.ts ===
+// Repro from #31204
+
+export enum AppType {
+>AppType : AppType
+
+    HeaderDetail = 'HeaderDetail',
+>HeaderDetail : AppType.HeaderDetail
+>'HeaderDetail' : "HeaderDetail"
+
+    HeaderMultiDetail = 'HeaderMultiDetail',
+>HeaderMultiDetail : AppType.HeaderMultiDetail
+>'HeaderMultiDetail' : "HeaderMultiDetail"
+
+    AdvancedList = 'AdvancedList',
+>AdvancedList : AppType.AdvancedList
+>'AdvancedList' : "AdvancedList"
+
+    Standard = 'Standard',
+>Standard : AppType.Standard
+>'Standard' : "Standard"
+
+    Relationship = 'Relationship',
+>Relationship : AppType.Relationship
+>'Relationship' : "Relationship"
+
+    Report = 'Report',
+>Report : AppType.Report
+>'Report' : "Report"
+
+    Composite = 'Composite',
+>Composite : AppType.Composite
+>'Composite' : "Composite"
+
+    ListOnly = 'ListOnly',
+>ListOnly : AppType.ListOnly
+>'ListOnly' : "ListOnly"
+
+    ModuleSettings = 'ModuleSettings'
+>ModuleSettings : AppType.ModuleSettings
+>'ModuleSettings' : "ModuleSettings"
+}
+
+export enum AppStyle {
+>AppStyle : AppStyle
+
+    Tree,
+>Tree : AppStyle.Tree
+
+    TreeEntity,
+>TreeEntity : AppStyle.TreeEntity
+
+    Standard,
+>Standard : AppStyle.Standard
+
+    MiniApp,
+>MiniApp : AppStyle.MiniApp
+
+    PivotTable
+>PivotTable : AppStyle.PivotTable
+}
+
+const appTypeStylesWithError: Map<AppType, Array<AppStyle>> = new Map([
+>appTypeStylesWithError : Map<AppType, AppStyle[]>
+>new Map([    [AppType.Standard, [AppStyle.Standard, AppStyle.MiniApp]],    [AppType.Relationship, [AppStyle.Standard, AppStyle.Tree, AppStyle.TreeEntity]],    [AppType.AdvancedList, [AppStyle.Standard, AppStyle.MiniApp]]]) : Map<AppType.AdvancedList | AppType.Standard | AppType.Relationship, (AppStyle.Standard | AppStyle.MiniApp)[] | (AppStyle.Tree | AppStyle.TreeEntity | AppStyle.Standard)[]>
+>Map : MapConstructor
+>[    [AppType.Standard, [AppStyle.Standard, AppStyle.MiniApp]],    [AppType.Relationship, [AppStyle.Standard, AppStyle.Tree, AppStyle.TreeEntity]],    [AppType.AdvancedList, [AppStyle.Standard, AppStyle.MiniApp]]] : ([AppType.Standard, (AppStyle.Standard | AppStyle.MiniApp)[]] | [AppType.Relationship, (AppStyle.Tree | AppStyle.TreeEntity | AppStyle.Standard)[]] | [AppType.AdvancedList, (AppStyle.Standard | AppStyle.MiniApp)[]])[]
+
+    [AppType.Standard, [AppStyle.Standard, AppStyle.MiniApp]],
+>[AppType.Standard, [AppStyle.Standard, AppStyle.MiniApp]] : [AppType.Standard, (AppStyle.Standard | AppStyle.MiniApp)[]]
+>AppType.Standard : AppType.Standard
+>AppType : typeof AppType
+>Standard : AppType.Standard
+>[AppStyle.Standard, AppStyle.MiniApp] : (AppStyle.Standard | AppStyle.MiniApp)[]
+>AppStyle.Standard : AppStyle.Standard
+>AppStyle : typeof AppStyle
+>Standard : AppStyle.Standard
+>AppStyle.MiniApp : AppStyle.MiniApp
+>AppStyle : typeof AppStyle
+>MiniApp : AppStyle.MiniApp
+
+    [AppType.Relationship, [AppStyle.Standard, AppStyle.Tree, AppStyle.TreeEntity]],
+>[AppType.Relationship, [AppStyle.Standard, AppStyle.Tree, AppStyle.TreeEntity]] : [AppType.Relationship, (AppStyle.Tree | AppStyle.TreeEntity | AppStyle.Standard)[]]
+>AppType.Relationship : AppType.Relationship
+>AppType : typeof AppType
+>Relationship : AppType.Relationship
+>[AppStyle.Standard, AppStyle.Tree, AppStyle.TreeEntity] : (AppStyle.Tree | AppStyle.TreeEntity | AppStyle.Standard)[]
+>AppStyle.Standard : AppStyle.Standard
+>AppStyle : typeof AppStyle
+>Standard : AppStyle.Standard
+>AppStyle.Tree : AppStyle.Tree
+>AppStyle : typeof AppStyle
+>Tree : AppStyle.Tree
+>AppStyle.TreeEntity : AppStyle.TreeEntity
+>AppStyle : typeof AppStyle
+>TreeEntity : AppStyle.TreeEntity
+
+    [AppType.AdvancedList, [AppStyle.Standard, AppStyle.MiniApp]]
+>[AppType.AdvancedList, [AppStyle.Standard, AppStyle.MiniApp]] : [AppType.AdvancedList, (AppStyle.Standard | AppStyle.MiniApp)[]]
+>AppType.AdvancedList : AppType.AdvancedList
+>AppType : typeof AppType
+>AdvancedList : AppType.AdvancedList
+>[AppStyle.Standard, AppStyle.MiniApp] : (AppStyle.Standard | AppStyle.MiniApp)[]
+>AppStyle.Standard : AppStyle.Standard
+>AppStyle : typeof AppStyle
+>Standard : AppStyle.Standard
+>AppStyle.MiniApp : AppStyle.MiniApp
+>AppStyle : typeof AppStyle
+>MiniApp : AppStyle.MiniApp
+
+]);
+
+// Repro from #31204
+
+declare function foo<T>(...args: T[]): T[];
+>foo : <T>(...args: T[]) => T[]
+>args : T[]
+
+let b1: { x: boolean }[] = foo({ x: true }, { x: false });
+>b1 : { x: boolean; }[]
+>x : boolean
+>foo({ x: true }, { x: false }) : ({ x: true; } | { x: false; })[]
+>foo : <T>(...args: T[]) => T[]
+>{ x: true } : { x: true; }
+>x : true
+>true : true
+>{ x: false } : { x: false; }
+>x : false
+>false : false
+
+let b2: boolean[][] = foo([true], [false]);
+>b2 : boolean[][]
+>foo([true], [false]) : (true[] | false[])[]
+>foo : <T>(...args: T[]) => T[]
+>[true] : true[]
+>true : true
+>[false] : false[]
+>false : false
+