feat(check): add --type-check-only flag

crates/vite_global_cli/src/help.rs

@@ -760,6 +760,10 @@ fn delegated_help_doc(command: &str) -> Option<HelpDoc> {
                         row("--fix", "Auto-fix format and lint issues"),
                         row("--no-fmt", "Skip format check"),
                         row("--no-lint", "Skip lint check"),
+                        row(
+                            "--type-check-only",
+                            "Run only type checking, skipping format and lint rules",
+                        ),
                         row("-h, --help", "Print help"),
                     ],
                 ),

packages/cli/binding/src/check/analysis.rs

@@ -39,6 +39,7 @@ pub(super) struct LintFailure {
 pub(super) enum LintMessageKind {
     LintOnly,
     LintAndTypeCheck,
+    TypeCheckOnly,
 }
 
 impl LintMessageKind {
@@ -56,20 +57,23 @@ impl LintMessageKind {
         match self {
             Self::LintOnly => "Found no warnings or lint errors",
             Self::LintAndTypeCheck => "Found no warnings, lint errors, or type errors",
+            Self::TypeCheckOnly => "Found no type errors",
         }
     }
 
     pub(super) fn warning_heading(self) -> &'static str {
         match self {
             Self::LintOnly => "Lint warnings found",
             Self::LintAndTypeCheck => "Lint or type warnings found",
+            Self::TypeCheckOnly => "Type warnings found",
         }
     }
 
     pub(super) fn issue_heading(self) -> &'static str {
         match self {
             Self::LintOnly => "Lint issues found",
             Self::LintAndTypeCheck => "Lint or type issues found",
+            Self::TypeCheckOnly => "Type errors found",
         }
     }
 }
@@ -252,4 +256,24 @@ mod tests {
         assert_eq!(kind.warning_heading(), "Lint or type warnings found");
         assert_eq!(kind.issue_heading(), "Lint or type issues found");
     }
+
+    #[test]
+    fn lint_message_kind_type_check_only_messages() {
+        let kind = LintMessageKind::TypeCheckOnly;
+
+        assert_eq!(kind.success_label(), "Found no type errors");
+        assert_eq!(kind.warning_heading(), "Type warnings found");
+        assert_eq!(kind.issue_heading(), "Type errors found");
+    }
+
+    #[test]
+    fn lint_message_kind_from_lint_config_does_not_return_type_check_only() {
+        assert_eq!(LintMessageKind::from_lint_config(None), LintMessageKind::LintOnly);
+        assert_eq!(
+            LintMessageKind::from_lint_config(Some(&json!({
+                "options": { "typeCheck": true }
+            }))),
+            LintMessageKind::LintAndTypeCheck
+        );
+    }
 }

packages/cli/binding/src/check/mod.rs

@@ -22,6 +22,7 @@ pub(crate) async fn execute_check(
     fix: bool,
     no_fmt: bool,
     no_lint: bool,
+    type_check_only: bool,
     paths: Vec<String>,
     envs: &Arc<FxHashMap<Arc<OsStr>, Arc<OsStr>>>,
     cwd: &AbsolutePathBuf,
@@ -35,13 +36,25 @@ pub(crate) async fn execute_check(
         return Ok(ExitStatus(1));
     }
 
+    if type_check_only && no_lint {
+        output::error("Conflicting flags");
+        print_summary_line("`vp check --type-check-only` cannot be used with `--no-lint`");
+        return Ok(ExitStatus(1));
+    }
+
+    if type_check_only && fix {
+        output::error("Conflicting flags");
+        print_summary_line("`vp check --type-check-only` cannot be used with `--fix`");
+        return Ok(ExitStatus(1));
+    }
+
     let mut status = ExitStatus::SUCCESS;
     let has_paths = !paths.is_empty();
     let mut fmt_fix_started: Option<Instant> = None;
     let mut deferred_lint_pass: Option<(String, String)> = None;
     let resolved_vite_config = resolver.resolve_universal_vite_config().await?;
 
-    if !no_fmt {
+    if !no_fmt && !type_check_only {
         let mut args = if fix { vec![] } else { vec!["--check".to_string()] };
         if has_paths {
             args.push("--no-error-on-unmatched-pattern".to_string());
@@ -115,8 +128,11 @@ pub(crate) async fn execute_check(
     }
 
     if !no_lint {
-        let lint_message_kind =
-            LintMessageKind::from_lint_config(resolved_vite_config.lint.as_ref());
+        let lint_message_kind = if type_check_only {
+            LintMessageKind::TypeCheckOnly
+        } else {
+            LintMessageKind::from_lint_config(resolved_vite_config.lint.as_ref())
+        };
         let mut args = Vec::new();
         if fix {
             args.push("--fix".to_string());
@@ -127,6 +143,9 @@ pub(crate) async fn execute_check(
         // parser think linting never started. Force the default reporter here so the
         // captured output is stable across local and CI environments.
         args.push("--format=default".to_string());
+        if type_check_only {
+            args.push("--type-check-only".to_string());
+        }
         if has_paths {
             args.extend(paths.iter().cloned());
         }

packages/cli/binding/src/cli/mod.rs

@@ -63,9 +63,17 @@ async fn execute_direct_subcommand(
     let cwd_arc: Arc<AbsolutePath> = cwd.clone().into();
 
     let status = match subcommand {
-        SynthesizableSubcommand::Check { fix, no_fmt, no_lint, paths } => {
+        SynthesizableSubcommand::Check { fix, no_fmt, no_lint, type_check_only, paths } => {
             return crate::check::execute_check(
-                &resolver, fix, no_fmt, no_lint, paths, &envs, cwd, &cwd_arc,
+                &resolver,
+                fix,
+                no_fmt,
+                no_lint,
+                type_check_only,
+                paths,
+                &envs,
+                cwd,
+                &cwd_arc,
             )
             .await;
         }

packages/cli/binding/src/cli/types.rs

@@ -93,6 +93,9 @@ pub enum SynthesizableSubcommand {
         /// Skip lint check
         #[arg(long = "no-lint")]
         no_lint: bool,
+        /// Run only type checking, skipping format and lint rules
+        #[arg(long = "type-check-only")]
+        type_check_only: bool,
         /// File paths to check (passed through to fmt and lint)
         #[arg(trailing_var_arg = true)]
         paths: Vec<String>,

packages/cli/snap-tests-global/command-check-help/snap.txt

@@ -6,10 +6,11 @@ Usage: vp check [OPTIONS] [PATHS]...
 Run format, lint, and type checks.
 
 Options:
-  --fix       Auto-fix format and lint issues
-  --no-fmt    Skip format check
-  --no-lint   Skip lint check
-  -h, --help  Print help
+  --fix              Auto-fix format and lint issues
+  --no-fmt           Skip format check
+  --no-lint          Skip lint check
+  --type-check-only  Run only type checking, skipping format and lint rules
+  -h, --help         Print help
 
 Examples:
   vp check
@@ -27,10 +28,11 @@ Usage: vp check [OPTIONS] [PATHS]...
 Run format, lint, and type checks.
 
 Options:
-  --fix       Auto-fix format and lint issues
-  --no-fmt    Skip format check
-  --no-lint   Skip lint check
-  -h, --help  Print help
+  --fix              Auto-fix format and lint issues
+  --no-fmt           Skip format check
+  --no-lint          Skip lint check
+  --type-check-only  Run only type checking, skipping format and lint rules
+  -h, --help         Print help
 
 Examples:
   vp check
@@ -48,10 +50,11 @@ Usage: vp check [OPTIONS] [PATHS]...
 Run format, lint, and type checks.
 
 Options:
-  --fix       Auto-fix format and lint issues
-  --no-fmt    Skip format check
-  --no-lint   Skip lint check
-  -h, --help  Print help
+  --fix              Auto-fix format and lint issues
+  --no-fmt           Skip format check
+  --no-lint          Skip lint check
+  --type-check-only  Run only type checking, skipping format and lint rules
+  -h, --help         Print help
 
 Examples:
   vp check

packages/cli/snap-tests/check-type-check-only-conflict-fix/package.json

@@ -0,0 +1,5 @@
+{
+  "name": "check-type-check-only-conflict-fix",
+  "version": "0.0.0",
+  "private": true
+}

packages/cli/snap-tests/check-type-check-only-conflict-fix/snap.txt

@@ -0,0 +1,4 @@
+[1]> vp check --type-check-only --fix
+error: Conflicting flags
+
+`vp check --type-check-only` cannot be used with `--fix`

packages/cli/snap-tests/check-type-check-only-conflict-fix/steps.json

@@ -0,0 +1,6 @@
+{
+  "env": {
+    "VITE_DISABLE_AUTO_INSTALL": "1"
+  },
+  "commands": ["vp check --type-check-only --fix"]
+}

packages/cli/snap-tests/check-type-check-only-conflict-no-lint/package.json

@@ -0,0 +1,5 @@
+{
+  "name": "check-type-check-only-conflict-no-lint",
+  "version": "0.0.0",
+  "private": true
+}

packages/cli/snap-tests/check-type-check-only-conflict-no-lint/snap.txt

@@ -0,0 +1,4 @@
+[1]> vp check --type-check-only --no-lint
+error: Conflicting flags
+
+`vp check --type-check-only` cannot be used with `--no-lint`

packages/cli/snap-tests/check-type-check-only-conflict-no-lint/steps.json

@@ -0,0 +1,6 @@
+{
+  "env": {
+    "VITE_DISABLE_AUTO_INSTALL": "1"
+  },
+  "commands": ["vp check --type-check-only --no-lint"]
+}

packages/cli/snap-tests/check-type-check-only-fail/package.json

@@ -0,0 +1,5 @@
+{
+  "name": "check-type-check-only-fail",
+  "version": "0.0.0",
+  "private": true
+}

packages/cli/snap-tests/check-type-check-only-fail/snap.txt

@@ -0,0 +1,11 @@
+[1]> vp check --type-check-only
+error: Type errors found
+× typescript(TS2322): Type 'string' is not assignable to type 'number'.
+   ╭─[src/index.ts:2:9]
+ 1 │ export function hello(): number {
+ 2 │   const value: number = "not a number";
+   ·         ─────
+ 3 │   return value;
+   ╰────
+
+Found 1 error and 0 warnings in 2 files (<variable>ms, <variable> threads)

packages/cli/snap-tests/check-type-check-only-fail/src/index.ts

@@ -0,0 +1,4 @@
+export function hello(): number {
+  const value: number = "not a number";
+  return value;
+}

packages/cli/snap-tests/check-type-check-only-fail/steps.json

@@ -0,0 +1,6 @@
+{
+  "env": {
+    "VITE_DISABLE_AUTO_INSTALL": "1"
+  },
+  "commands": ["vp check --type-check-only"]
+}

packages/cli/snap-tests/check-type-check-only-fail/tsconfig.json

@@ -0,0 +1,12 @@
+{
+  "compilerOptions": {
+    "target": "esnext",
+    "module": "nodenext",
+    "moduleResolution": "nodenext",
+    "strict": true,
+    "noEmit": true,
+    "allowImportingTsExtensions": true,
+    "skipLibCheck": true
+  },
+  "include": ["src"]
+}

packages/cli/snap-tests/check-type-check-only-fail/vite.config.ts

@@ -0,0 +1,8 @@
+export default {
+  lint: {
+    options: {
+      typeAware: true,
+      typeCheck: true,
+    },
+  },
+};

packages/cli/snap-tests/check-type-check-only-no-typecheck-config/package.json

@@ -0,0 +1,5 @@
+{
+  "name": "check-type-check-only-no-typecheck-config",
+  "version": "0.0.0",
+  "private": true
+}

packages/cli/snap-tests/check-type-check-only-no-typecheck-config/snap.txt

@@ -0,0 +1,11 @@
+[1]> vp check --type-check-only
+error: Type errors found
+× typescript(TS2322): Type 'string' is not assignable to type 'number'.
+   ╭─[src/index.ts:2:9]
+ 1 │ export function hello(): number {
+ 2 │   const value: number = "not a number";
+   ·         ─────
+ 3 │   return value;
+   ╰────
+
+Found 1 error and 0 warnings in 2 files (<variable>ms, <variable> threads)

packages/cli/snap-tests/check-type-check-only-no-typecheck-config/src/index.ts

@@ -0,0 +1,4 @@
+export function hello(): number {
+  const value: number = "not a number";
+  return value;
+}

packages/cli/snap-tests/check-type-check-only-no-typecheck-config/steps.json

@@ -0,0 +1,6 @@
+{
+  "env": {
+    "VITE_DISABLE_AUTO_INSTALL": "1"
+  },
+  "commands": ["vp check --type-check-only"]
+}

packages/cli/snap-tests/check-type-check-only-no-typecheck-config/tsconfig.json

@@ -0,0 +1,12 @@
+{
+  "compilerOptions": {
+    "target": "esnext",
+    "module": "nodenext",
+    "moduleResolution": "nodenext",
+    "strict": true,
+    "noEmit": true,
+    "allowImportingTsExtensions": true,
+    "skipLibCheck": true
+  },
+  "include": ["src"]
+}

packages/cli/snap-tests/check-type-check-only-no-typecheck-config/vite.config.ts

@@ -0,0 +1,8 @@
+export default {
+  lint: {
+    options: {
+      typeAware: true,
+      typeCheck: false,
+    },
+  },
+};

packages/cli/snap-tests/check-type-check-only-pass/package.json

@@ -0,0 +1,5 @@
+{
+  "name": "check-type-check-only-pass",
+  "version": "0.0.0",
+  "private": true
+}

packages/cli/snap-tests/check-type-check-only-pass/snap.txt

@@ -0,0 +1,2 @@
+> vp check --type-check-only
+pass: Found no type errors in 2 files (<variable>ms, <variable> threads)

packages/cli/snap-tests/check-type-check-only-pass/src/index.ts

@@ -0,0 +1,3 @@
+export function hello(): string {
+  return "hello";
+}

packages/cli/snap-tests/check-type-check-only-pass/steps.json

@@ -0,0 +1,6 @@
+{
+  "env": {
+    "VITE_DISABLE_AUTO_INSTALL": "1"
+  },
+  "commands": ["vp check --type-check-only"]
+}

packages/cli/snap-tests/check-type-check-only-pass/tsconfig.json

@@ -0,0 +1,12 @@
+{
+  "compilerOptions": {
+    "target": "esnext",
+    "module": "nodenext",
+    "moduleResolution": "nodenext",
+    "strict": true,
+    "noEmit": true,
+    "allowImportingTsExtensions": true,
+    "skipLibCheck": true
+  },
+  "include": ["src"]
+}

packages/cli/snap-tests/check-type-check-only-pass/vite.config.ts

@@ -0,0 +1,8 @@
+export default {
+  lint: {
+    options: {
+      typeAware: true,
+      typeCheck: true,
+    },
+  },
+};