From fdaaf6d2fc266191e37e60fd456582d6ee18ac19 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mateusz=20Burzy=C5=84ski?= <mateuszburzynski@gmail.com>
Date: Sun, 7 Apr 2024 23:45:13 +0200
Subject: [PATCH] Add  test case related to invalid object spreads

---
 .../reference/spreadNonObject1.errors.txt     | 15 ++++++
 .../reference/spreadNonObject1.symbols        | 26 ++++++++++
 .../reference/spreadNonObject1.types          | 52 +++++++++++++++++++
 .../types/spread/spreadNonObject1.ts          | 11 ++++
 4 files changed, 104 insertions(+)
 create mode 100644 tests/baselines/reference/spreadNonObject1.errors.txt
 create mode 100644 tests/baselines/reference/spreadNonObject1.symbols
 create mode 100644 tests/baselines/reference/spreadNonObject1.types
 create mode 100644 tests/cases/conformance/types/spread/spreadNonObject1.ts

diff --git a/tests/baselines/reference/spreadNonObject1.errors.txt b/tests/baselines/reference/spreadNonObject1.errors.txt
new file mode 100644
index 0000000000000..465029735a5c0
--- /dev/null
+++ b/tests/baselines/reference/spreadNonObject1.errors.txt
@@ -0,0 +1,15 @@
+spreadNonObject1.ts(6,17): error TS2698: Spread types may only be created from object types.
+
+
+==== spreadNonObject1.ts (1 errors) ====
+    // https://github.com/microsoft/TypeScript/issues/45493
+    
+    type S = `${number}`;
+    const b = {
+      c: (["4"] as S[]).map(function (s) {
+        const a = { ...s, y: 6 };
+                    ~~~~
+!!! error TS2698: Spread types may only be created from object types.
+      }),
+    };
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/spreadNonObject1.symbols b/tests/baselines/reference/spreadNonObject1.symbols
new file mode 100644
index 0000000000000..f029ae1744ca4
--- /dev/null
+++ b/tests/baselines/reference/spreadNonObject1.symbols
@@ -0,0 +1,26 @@
+//// [tests/cases/conformance/types/spread/spreadNonObject1.ts] ////
+
+=== spreadNonObject1.ts ===
+// https://github.com/microsoft/TypeScript/issues/45493
+
+type S = `${number}`;
+>S : Symbol(S, Decl(spreadNonObject1.ts, 0, 0))
+
+const b = {
+>b : Symbol(b, Decl(spreadNonObject1.ts, 3, 5))
+
+  c: (["4"] as S[]).map(function (s) {
+>c : Symbol(c, Decl(spreadNonObject1.ts, 3, 11))
+>(["4"] as S[]).map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
+>S : Symbol(S, Decl(spreadNonObject1.ts, 0, 0))
+>map : Symbol(Array.map, Decl(lib.es5.d.ts, --, --))
+>s : Symbol(s, Decl(spreadNonObject1.ts, 4, 34))
+
+    const a = { ...s, y: 6 };
+>a : Symbol(a, Decl(spreadNonObject1.ts, 5, 9))
+>s : Symbol(s, Decl(spreadNonObject1.ts, 4, 34))
+>y : Symbol(y, Decl(spreadNonObject1.ts, 5, 21))
+
+  }),
+};
+
diff --git a/tests/baselines/reference/spreadNonObject1.types b/tests/baselines/reference/spreadNonObject1.types
new file mode 100644
index 0000000000000..9f4c8c7a9b9a4
--- /dev/null
+++ b/tests/baselines/reference/spreadNonObject1.types
@@ -0,0 +1,52 @@
+//// [tests/cases/conformance/types/spread/spreadNonObject1.ts] ////
+
+=== spreadNonObject1.ts ===
+// https://github.com/microsoft/TypeScript/issues/45493
+
+type S = `${number}`;
+>S : `${number}`
+>  : ^^^^^^^^^^^
+
+const b = {
+>b : { c: void[]; }
+>  : ^^^^^^^^^^^^^^
+>{  c: (["4"] as S[]).map(function (s) {    const a = { ...s, y: 6 };  }),} : { c: void[]; }
+>                                                                           : ^^^^^^^^^^^^^^
+
+  c: (["4"] as S[]).map(function (s) {
+>c : void[]
+>  : ^^^^^^
+>(["4"] as S[]).map(function (s) {    const a = { ...s, y: 6 };  }) : void[]
+>                                                                   : ^^^^^^
+>(["4"] as S[]).map : <U>(callbackfn: (value: `${number}`, index: number, array: `${number}`[]) => U, thisArg?: any) => U[]
+>                   : ^^^^          ^^^     ^^^^^^^^^^^^^^^     ^^^^^^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^       ^^^^^^^^^^^^^^
+>(["4"] as S[]) : `${number}`[]
+>               : ^^^^^^^^^^^^^
+>["4"] as S[] : `${number}`[]
+>             : ^^^^^^^^^^^^^
+>["4"] : "4"[]
+>      : ^^^^^
+>"4" : "4"
+>    : ^^^
+>map : <U>(callbackfn: (value: `${number}`, index: number, array: `${number}`[]) => U, thisArg?: any) => U[]
+>    : ^^^^          ^^^     ^^^^^^^^^^^^^^^     ^^^^^^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^       ^^^^^^^^^^^^^^
+>function (s) {    const a = { ...s, y: 6 };  } : (s: `${number}`) => void
+>                                               : ^ ^^^^^^^^^^^^^^^^^^^^^^
+>s : `${number}`
+>  : ^^^^^^^^^^^
+
+    const a = { ...s, y: 6 };
+>a : any
+>  : ^^^
+>{ ...s, y: 6 } : any
+>               : ^^^
+>s : `${number}`
+>  : ^^^^^^^^^^^
+>y : number
+>  : ^^^^^^
+>6 : 6
+>  : ^
+
+  }),
+};
+
diff --git a/tests/cases/conformance/types/spread/spreadNonObject1.ts b/tests/cases/conformance/types/spread/spreadNonObject1.ts
new file mode 100644
index 0000000000000..17eb5fd2e5214
--- /dev/null
+++ b/tests/cases/conformance/types/spread/spreadNonObject1.ts
@@ -0,0 +1,11 @@
+// @strict: true
+// @noEmit: true
+
+// https://github.com/microsoft/TypeScript/issues/45493
+
+type S = `${number}`;
+const b = {
+  c: (["4"] as S[]).map(function (s) {
+    const a = { ...s, y: 6 };
+  }),
+};