fix(linter/array-type): handle TSSatisfiesExpression

crates/oxc_linter/src/generated/rule_runner_impls.rs

@@ -2532,6 +2532,7 @@ impl RuleRunner for crate::rules::typescript::array_type::ArrayType {
         AstType::TSConditionalType,
         AstType::TSIndexedAccessType,
         AstType::TSMappedType,
+        AstType::TSSatisfiesExpression,
         AstType::TSTypeAliasDeclaration,
         AstType::TSTypeAnnotation,
         AstType::TSTypeParameterInstantiation,

crates/oxc_linter/src/rules/typescript/array_type.rs

@@ -179,6 +179,15 @@ impl Rule for ArrayType {
                     ctx,
                 );
             }
+            // for example: [] as const satisfies readonly string[];
+            AstKind::TSSatisfiesExpression(ts_satisfies_expression) => {
+                check(
+                    &ts_satisfies_expression.type_annotation,
+                    self.default_config(),
+                    self.readonly_config(),
+                    ctx,
+                );
+            }
             AstKind::TSTypeReference(ts_type_reference)
                 if outermost_paren_parent(node, ctx).is_some_and(|x| match x.kind() {
                     AstKind::TSTypeAliasDeclaration(TSTypeAliasDeclaration {
@@ -965,6 +974,15 @@ const instance = new MyClass<number>(42);",
             "let z: readonly factories.User[] = [];",
             Some(serde_json::json!([{"readonly":"array-simple"}])),
         ),
+        // TSSatisfiesExpression
+        (
+            "const x = [] as const satisfies string[];",
+            Some(serde_json::json!([{"default":"array"}])),
+        ),
+        (
+            "const x = [] as const satisfies ReadonlyArray<string>;",
+            Some(serde_json::json!([{"default":"array-simple","readonly":"generic"}])),
+        ),
     ];
 
     let fail = vec![
@@ -1456,6 +1474,20 @@ export const test8 = testFn<Array<string>, number[]>([]);",
             "type MakeArrays<T> = { [K in keyof T]: T[K][] };",
             Some(serde_json::json!([{"default":"generic"}])),
         ),
+        // TSSatisfiesExpression - https://github.com/oxc-project/oxc/issues/16897
+        (
+            "const x = [] as const satisfies readonly string[];",
+            Some(serde_json::json!([{"default":"array-simple","readonly":"generic"}])),
+        ),
+        (
+            "const x = [] as const satisfies Array<string>;",
+            Some(serde_json::json!([{"default":"array"}])),
+        ),
+        // nested: only outer Array<string[]> should be reported, inner string[] is correct
+        (
+            "const x = [] satisfies Array<string[]>;",
+            Some(serde_json::json!([{"default":"array"}])),
+        ),
     ];
 
     let fix: Vec<(&str, &str, Option<serde_json::Value>)> = vec![
@@ -2103,6 +2135,23 @@ export const test9 = testFn<ReadonlyArray<number>>([]);",
 export const test9 = testFn<readonly number[]>([]);",
             Some(serde_json::json!([{"default":"array-simple"}])),
         ),
+        // TSSatisfiesExpression - https://github.com/oxc-project/oxc/issues/16897
+        (
+            "const x = [] as const satisfies readonly string[];",
+            "const x = [] as const satisfies ReadonlyArray<string>;",
+            Some(serde_json::json!([{"default":"array-simple","readonly":"generic"}])),
+        ),
+        (
+            "const x = [] as const satisfies Array<string>;",
+            "const x = [] as const satisfies string[];",
+            Some(serde_json::json!([{"default":"array"}])),
+        ),
+        // nested: only outer Array<string[]> should be fixed
+        (
+            "const x = [] satisfies Array<string[]>;",
+            "const x = [] satisfies string[][];",
+            Some(serde_json::json!([{"default":"array"}])),
+        ),
     ];
 
     Tester::new(ArrayType::NAME, ArrayType::PLUGIN, pass, fail)

crates/oxc_linter/src/snapshots/typescript_array_type.snap

@@ -1,5 +1,6 @@
 ---
 source: crates/oxc_linter/src/tester.rs
+assertion_line: 394
 ---
   ⚠ typescript-eslint(array-type): Array type using 'factories.User[]' is forbidden. Use 'Array<factories.User>' instead.
    ╭─[array_type.ts:1:8]
@@ -901,3 +902,24 @@ source: crates/oxc_linter/src/tester.rs
    ·                                        ──────
    ╰────
   help: Replace `T[K][]` with `Array<T[K]>`.
+
+  ⚠ typescript-eslint(array-type): Array type using 'readonly string[]' is forbidden. Use 'ReadonlyArray<string>' instead.
+   ╭─[array_type.ts:1:33]
+ 1 │ const x = [] as const satisfies readonly string[];
+   ·                                 ─────────────────
+   ╰────
+  help: Replace `readonly string[]` with `ReadonlyArray<string>`.
+
+  ⚠ typescript-eslint(array-type): Array type using 'Array<string>' is forbidden. Use 'string[]' instead.
+   ╭─[array_type.ts:1:33]
+ 1 │ const x = [] as const satisfies Array<string>;
+   ·                                 ─────────────
+   ╰────
+  help: Replace `Array<string>` with `string[]`.
+
+  ⚠ typescript-eslint(array-type): Array type using 'Array<string[]>' is forbidden. Use 'string[][]' instead.
+   ╭─[array_type.ts:1:24]
+ 1 │ const x = [] satisfies Array<string[]>;
+   ·                        ───────────────
+   ╰────
+  help: Replace `Array<string[]>` with `string[][]`.