feat(linter): add typescript/consistent-type-exports rule

apps/oxlint/fixtures/tsgolint/.oxlintrc.json

@@ -4,6 +4,7 @@
   },
   "rules": {
     "typescript/await-thenable": "error",
+    "typescript/consistent-type-exports": "error",
     "typescript/no-array-delete": "error",
     "typescript/no-base-to-string": "error",
     "typescript/no-confusing-void-expression": "error",

apps/oxlint/fixtures/tsgolint/consistent-type-exports.ts

@@ -0,0 +1,7 @@
+type LocalType = {
+  value: string;
+};
+
+const localValue = 1;
+
+export { LocalType, localValue };

apps/oxlint/fixtures/tsgolint_rule_options/.oxlintrc.json

@@ -51,6 +51,12 @@
         "checkTypePredicates": false,
       }
     ],
+    "typescript/consistent-type-exports": [
+      "error",
+      {
+        "fixMixedExportsWithInlineTypeSpecifier": true
+      }
+    ],
     "typescript/only-throw-error": [
       "error",
       {

apps/oxlint/fixtures/tsgolint_rule_options/test.ts

@@ -74,6 +74,12 @@ while (true) {
   break;
 }
 
+// Test consistent-type-exports with fixMixedExportsWithInlineTypeSpecifier option
+type ExportOnlyType = { value: number };
+const exportOnlyValue = 1;
+// This SHOULD error because ExportOnlyType is only used as a type.
+export { ExportOnlyType, exportOnlyValue };
+
 // Test only-throw-error with allowRethrowing option
 // When allowRethrowing is false, rethrowing a caught error SHOULD error
 try {

apps/oxlint/src/snapshots/fixtures__tsgolint_--type-aware --silent@oxlint.snap

@@ -6,8 +6,8 @@ arguments: --type-aware --silent
 working directory: fixtures/tsgolint
 ----------
 
-Found 0 warnings and 57 errors.
-Finished in <variable>ms on 47 files with 46 rules using 1 threads.
+Found 0 warnings and 58 errors.
+Finished in <variable>ms on 48 files with 47 rules using 1 threads.
 ----------
 CLI result: LintFoundErrors
 ----------

apps/oxlint/src/snapshots/fixtures__tsgolint_--type-aware -c config-test.json@oxlint.snap

@@ -40,7 +40,7 @@ working directory: fixtures/tsgolint
   help: Remove the debugger statement
 
 Found 2 warnings and 2 errors.
-Finished in <variable>ms on 47 files with 1 rules using 1 threads.
+Finished in <variable>ms on 48 files with 1 rules using 1 threads.
 ----------
 CLI result: LintFoundErrors
 ----------

apps/oxlint/src/snapshots/fixtures__tsgolint_--type-aware test.svelte@oxlint.snap

@@ -16,7 +16,7 @@ working directory: fixtures/tsgolint
   help: Remove the debugger statement
 
 Found 0 warnings and 1 error.
-Finished in <variable>ms on 1 file with 46 rules using 1 threads.
+Finished in <variable>ms on 1 file with 47 rules using 1 threads.
 ----------
 CLI result: LintFoundErrors
 ----------

apps/oxlint/src/snapshots/fixtures__tsgolint_--type-aware@oxlint.snap

@@ -13,6 +13,13 @@ working directory: fixtures/tsgolint
  2 | 
    `----
 
+  x typescript-eslint(consistent-type-exports): Type export LocalType is not a value and should be exported using `export type`.
+   ,-[consistent-type-exports.ts:7:1]
+ 6 | 
+ 7 | export { LocalType, localValue };
+   : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   `----
+
   x typescript-eslint(no-array-delete): Using the `delete` operator with an array expression is unsafe.
    ,-[no-array-delete.ts:2:1]
  1 | declare const arr: number[];
@@ -448,8 +455,8 @@ working directory: fixtures/tsgolint
    `----
   help: If your function does not access `this`, you can annotate it with `this: void`, or consider using an arrow function instead.
 
-Found 0 warnings and 57 errors.
-Finished in <variable>ms on 47 files with 46 rules using 1 threads.
+Found 0 warnings and 58 errors.
+Finished in <variable>ms on 48 files with 47 rules using 1 threads.
 ----------
 CLI result: LintFoundErrors
 ----------

apps/oxlint/src/snapshots/fixtures__tsgolint_rule_options_--type-aware@oxlint.snap

@@ -48,8 +48,16 @@ working directory: fixtures/tsgolint_rule_options
  69 |   result += 1;
     `----
 
-Found 0 warnings and 5 errors.
-Finished in <variable>ms on 1 file with 8 rules using 1 threads.
+  x typescript-eslint(consistent-type-exports): Type export ExportOnlyType is not a value and should be exported using `export type`.
+    ,-[test.ts:81:1]
+ 80 | // This SHOULD error because ExportOnlyType is only used as a type.
+ 81 | export { ExportOnlyType, exportOnlyValue };
+    : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ 82 | 
+    `----
+
+Found 0 warnings and 6 errors.
+Finished in <variable>ms on 1 file with 9 rules using 1 threads.
 ----------
 CLI result: LintFoundErrors
 ----------

crates/oxc_linter/src/rules.rs

@@ -223,6 +223,7 @@ pub(crate) mod typescript {
     pub mod consistent_indexed_object_style;
     pub mod consistent_type_assertions;
     pub mod consistent_type_definitions;
+    pub mod consistent_type_exports;
     pub mod consistent_type_imports;
     pub mod explicit_function_return_type;
     pub mod explicit_module_boundary_types;

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

@@ -0,0 +1,59 @@
+use oxc_macros::declare_oxc_lint;
+use schemars::JsonSchema;
+use serde::{Deserialize, Serialize};
+
+use crate::rule::{DefaultRuleConfig, Rule};
+
+#[derive(Debug, Default, Clone, Deserialize)]
+pub struct ConsistentTypeExports(Box<ConsistentTypeExportsConfig>);
+
+#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize, JsonSchema, Default)]
+#[serde(rename_all = "camelCase", default, deny_unknown_fields)]
+pub struct ConsistentTypeExportsConfig {
+    /// Enables an autofix strategy that rewrites mixed exports using inline `type` specifiers.
+    pub fix_mixed_exports_with_inline_type_specifier: bool,
+}
+
+declare_oxc_lint!(
+    /// ### What it does
+    ///
+    /// Enforce using `export type` for exports that are only used as types.
+    ///
+    /// ### Why is this bad?
+    ///
+    /// Mixing type-only exports with value exports without `export type` makes module intent
+    /// harder to read and can cause unnecessary runtime export surface.
+    ///
+    /// ### Examples
+    ///
+    /// Examples of **incorrect** code for this rule:
+    /// ```ts
+    /// type Foo = { bar: string };
+    /// export { Foo };
+    ///
+    /// export { TypeOnly, value } from "./mod";
+    /// ```
+    ///
+    /// Examples of **correct** code for this rule:
+    /// ```ts
+    /// type Foo = { bar: string };
+    /// export type { Foo };
+    ///
+    /// export type { TypeOnly } from "./mod";
+    /// export { value } from "./mod";
+    /// ```
+    ConsistentTypeExports(tsgolint),
+    typescript,
+    nursery,
+    config = ConsistentTypeExportsConfig,
+);
+
+impl Rule for ConsistentTypeExports {
+    fn from_configuration(value: serde_json::Value) -> Result<Self, serde_json::error::Error> {
+        serde_json::from_value::<DefaultRuleConfig<Self>>(value).map(DefaultRuleConfig::into_inner)
+    }
+
+    fn to_configuration(&self) -> Option<Result<serde_json::Value, serde_json::Error>> {
+        Some(serde_json::to_value(&*self.0))
+    }
+}