Add an extra test for as const satisfies with a mutable array (micr…

…osoft#55522)

tests/baselines/reference/typeSatisfaction_asConstArrays.symbols

@@ -0,0 +1,13 @@
+//// [tests/cases/conformance/expressions/typeSatisfaction/typeSatisfaction_asConstArrays.ts] ////
+
+=== typeSatisfaction_asConstArrays.ts ===
+// with readonly array
+const arr1 = [1, 2, 3] as const satisfies readonly unknown[]
+>arr1 : Symbol(arr1, Decl(typeSatisfaction_asConstArrays.ts, 1, 5))
+>const : Symbol(const)
+
+// with mutable array
+const arr2 = [1, 2, 3] as const satisfies unknown[]
+>arr2 : Symbol(arr2, Decl(typeSatisfaction_asConstArrays.ts, 4, 5))
+>const : Symbol(const)
+

tests/baselines/reference/typeSatisfaction_asConstArrays.types

@@ -0,0 +1,23 @@
+//// [tests/cases/conformance/expressions/typeSatisfaction/typeSatisfaction_asConstArrays.ts] ////
+
+=== typeSatisfaction_asConstArrays.ts ===
+// with readonly array
+const arr1 = [1, 2, 3] as const satisfies readonly unknown[]
+>arr1 : readonly [1, 2, 3]
+>[1, 2, 3] as const satisfies readonly unknown[] : readonly [1, 2, 3]
+>[1, 2, 3] as const : readonly [1, 2, 3]
+>[1, 2, 3] : readonly [1, 2, 3]
+>1 : 1
+>2 : 2
+>3 : 3
+
+// with mutable array
+const arr2 = [1, 2, 3] as const satisfies unknown[]
+>arr2 : [1, 2, 3]
+>[1, 2, 3] as const satisfies unknown[] : [1, 2, 3]
+>[1, 2, 3] as const : [1, 2, 3]
+>[1, 2, 3] : [1, 2, 3]
+>1 : 1
+>2 : 2
+>3 : 3
+

tests/cases/conformance/expressions/typeSatisfaction/typeSatisfaction_asConstArrays.ts

@@ -0,0 +1,8 @@
+// @strict: true
+// @noEmit: true
+
+// with readonly array
+const arr1 = [1, 2, 3] as const satisfies readonly unknown[]
+
+// with mutable array
+const arr2 = [1, 2, 3] as const satisfies unknown[]