diff --git a/tests/baselines/reference/typeSatisfaction_asConstArrays.symbols b/tests/baselines/reference/typeSatisfaction_asConstArrays.symbols
new file mode 100644
index 0000000000000..10b166cf16384
--- /dev/null
+++ b/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)
+
diff --git a/tests/baselines/reference/typeSatisfaction_asConstArrays.types b/tests/baselines/reference/typeSatisfaction_asConstArrays.types
new file mode 100644
index 0000000000000..4ac3ceaee9874
--- /dev/null
+++ b/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
+
diff --git a/tests/cases/conformance/expressions/typeSatisfaction/typeSatisfaction_asConstArrays.ts b/tests/cases/conformance/expressions/typeSatisfaction/typeSatisfaction_asConstArrays.ts
new file mode 100644
index 0000000000000..16c3c5e905362
--- /dev/null
+++ b/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[]