Skip to content

Conversation

@yongsk0066
Copy link
Contributor

Fixes an edge case introduced in #13332 where diagnostics disappear when saving a file with oxc.lint.run: "onType" and oxc.typeAware: false.

Problem

The logic from #13332 assumes tsgolint always exists when Run::OnType:

(ServerLinterRun::OnSave, Run::OnType) => (false, true)  // always run tsgolint

But when type_aware: false, there is no tsgo_linter, causing the server to return empty diagnostics instead of None, which clears all error highlights in VSCode.

clear-diagnostics

Solution

Check if tsgo_linter actually exists:

(ServerLinterRun::OnSave, Run::OnType) => {
    let should_run_tsgo = self.tsgo_linter.as_ref().is_some();
    (false, should_run_tsgo)
}

Now returns None when no linters should run, preserving existing diagnostics.

Test: Added test_lint_on_run_on_type_on_save_without_type_aware with fixture

When lint.run="onType" and type_aware=false, saving would clear all diagnostics.
Now returns None instead of empty Vec to preserve existing diagnostics.
Copilot AI review requested due to automatic review settings September 9, 2025 05:06
@graphite-app
Copy link
Contributor

graphite-app bot commented Sep 9, 2025

How to use the Graphite Merge Queue

Add either label to this PR to merge it via the merge queue:

  • 0-merge - adds this PR to the back of the merge queue
  • hotfix - for urgent hot fixes, skip the queue and merge this PR next

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

@github-actions github-actions bot added A-editor Area - Editor and Language Server C-bug Category - Bug labels Sep 9, 2025
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Fixes an edge case where diagnostics would be cleared when saving a file with oxc.lint.run: "onType" and oxc.typeAware: false. The issue occurred because the logic assumed TypeScript linting was always available in onType mode, but when type awareness is disabled, no linter exists to provide diagnostics.

  • Updates logic to check if TypeScript linter exists before attempting to run it on save
  • Adds test coverage for the edge case scenario
  • Preserves existing diagnostics when no linters should run

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.

File Description
server_linter.rs Updates the linter run logic to conditionally run TypeScript linting based on availability
on-save-no-type-aware.ts Adds test fixture for the edge case scenario
on-save-no-type-aware.ts.snap Snapshot test output for the new test case

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@Sysix
Copy link
Member

Sysix commented Sep 9, 2025

Thank you for looking after the bug.

But when type_aware: false, there is no tsgo_linter, causing the server to return empty diagnostics instead of None, which clears all error highlights in VSCode.

My guess is, that you are still on the latest release, and not using the main language server.
This should been already fixed in #13490 with an integration test in the editor.

The lines:

if tsgolint && let Some(tsgo_linter) = self.tsgo_linter.as_ref() {
self.diagnostics
.tsgo_linter
.pin()
.insert(uri.to_string(), tsgo_linter.lint_file(uri, content.clone()));
}

It will only insert it to ServerLinterDiagnostics. It will still return the oxlint diagnostics on save.

If you want to try it yourself, you can follow the instructions here:
https://oxc.rs/docs/contribute/vscode.html#building-extension-and-installing-it-locally

@Sysix Sysix self-assigned this Sep 9, 2025
@yongsk0066
Copy link
Contributor Author

Thank you for looking after the bug.

But when type_aware: false, there is no tsgo_linter, causing the server to return empty diagnostics instead of None, which clears all error highlights in VSCode.

My guess is, that you are still on the latest release, and not using the main language server. This should been already fixed in #13490 with an integration test in the editor.

The lines:

if tsgolint && let Some(tsgo_linter) = self.tsgo_linter.as_ref() {
self.diagnostics
.tsgo_linter
.pin()
.insert(uri.to_string(), tsgo_linter.lint_file(uri, content.clone()));
}

It will only insert it to ServerLinterDiagnostics. It will still return the oxlint diagnostics on save.

If you want to try it yourself, you can follow the instructions here: oxc.rs/docs/contribute/vscode.html#building-extension-and-installing-it-locally

Ah, I see it was already fixed. Thanks! I'll check more carefully next time. Thanks for the review. I'll go ahead and close this PR.

@yongsk0066
Copy link
Contributor Author

Hey @Sysix, could you review this once more? I tested and my fix also seems valid.
it takes a different approach by returning None when no linting is needed, which reduces memory usage and network calls. Would this be a viable alternative?

@camc314 camc314 self-assigned this Sep 10, 2025
Copy link
Member

@Sysix Sysix left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, this is optimization for onSave configuration.
If typeAware is not enabled, your MR will not send the latest (redundant) diagnostics to the client.

@Sysix Sysix changed the title fix(language_server): don't clear diagnostics on save in onType mode fix(language_server): don't resend diagnostic on save, when typeAware is disabled and run is onType Sep 10, 2025
@codspeed-hq
Copy link

codspeed-hq bot commented Sep 10, 2025

CodSpeed Instrumentation Performance Report

Merging #13604 will not alter performance

Comparing yongsk0066:fix/preserve-diagnostics-ontype-save (7f6cfe2) with main (d3be692)1

Summary

✅ 37 untouched benchmarks

Footnotes

  1. No successful run was found on main (283e127) during the generation of this report, so d3be692 was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.

@camc314 camc314 added the 0-merge Merge with Graphite Merge Queue label Sep 11, 2025
@graphite-app
Copy link
Contributor

graphite-app bot commented Sep 11, 2025

Merge activity

  • Sep 11, 5:15 AM UTC: @yongsk0066 we removed the merge queue label because we could not find a Graphite account associated with your GitHub profile.

You must have a Graphite account in order to use the merge queue. Create an account and try again using this link

@graphite-app graphite-app bot removed the 0-merge Merge with Graphite Merge Queue label Sep 11, 2025
@camc314 camc314 merged commit fb9d0f4 into oxc-project:main Sep 11, 2025
28 checks passed
camc314 added a commit that referenced this pull request Sep 11, 2025
## [1.15.0] - 2025-09-11

### 💥 BREAKING CHANGES

- edc70ea allocator/pool: [**BREAKING**] Remove `disable_fixed_size`
Cargo feature (#13625) (overlookmotel)

### 🚀 Features

- b20b56d linter: Add `vue/no-multiple-slot-args` rule (#13579) (Sysix)
- aafe08c linter: Add `vue/define-emits-declaration` rule (#13567)
(Sysix)
- 2ed5059 linter: Add `vue/define-props-declaration` rule (#13566)
(Sysix)
- a718c23 linter: Add `vue/valid-define-props` rule (#13565) (Sysix)
- 75a673e editor: Support relative path for `oxc.path.server` (#13542)
(Sysix)
- 4af886b linter: Add `unicorn/no-array-reverse` rule (#13530) (yefan)
- 2db32eb data_structures: Add `boxed_slice!` and `boxed_array!` macros
(#13596) (overlookmotel)

### 🐛 Bug Fixes

- fb9d0f4 language_server: Don't resend diagnostic on save, when
`typeAware` is disabled and run is onType (#13604) (YongSeok Jang (장용석))
- 2f36350 editor: Add notice for a possible restart when fixing
`filename-case` (#13557) (Sysix)
- e17fccc linter: Update `RuleRunner` impl after merge (#13642)
(camc314)
- 3d27c5b linter/no-unused-private-class-members: False positive with
spread expr (#13634) (yefan)
- 8314ed5 linter/tsgolint: Correct comment (#13589) (camc314)
- 198243b semantic: Dont parse `@` as jsdoc tags inside quotes (#13571)
(Gwenn Le Bihan)
- 89084d7 linter/custom-plugins: Enforce exact matching for disable
directives (#13538) (Copilot)
- 277c5e1 linter: Output `eslint-plugin-vue` for vue diagnostics
(#13564) (Sysix)
- 34d3cde rust: Fix clippy issues (#13540) (Boshen)
- 5fccafc linter: `unicorn/prefer-array-flat-map` ignore
`React.Children` (#13534) (Sysix)
- 7e78e39 linter: Don't panic when parsing regex with multiple
parentheses (#13524) (Sysix)
- 0d867b1 linter: Skip running tsgolint when no files need type aware
linting (#13502) (Copilot)
- b677376 language_server: Include the diagnostic of the other linter
(#13490) (Sysix)
- e87d7bd linter: Parse regex inside `new RegExp()` with parentheses
(#13448) (Sysix)
- 5990f17 linter: Change `typescript/no-confusing-void-expression` to
pedantic (#13473) (Boshen)

### 🚜 Refactor

- 7775c21 linter/plugins: Remove `oxlint2` Cargo feature (#13648)
(overlookmotel)
- 8f37e88 linter: Update tsgolint payload (#13547) (camchenry)
- 2d53203 linter/plugins: Move `tokio` usage from `oxc_linter` to
`napi/oxlint2` (#13647) (overlookmotel)
- 6cd6be2 linter: Add `--experimental-js-plugins` CLI arg (#13658)
(overlookmotel)
- 476729b linter: Simplify `RuleRunner` trait definition (#13637)
(camchenry)
- 2f02ac6 linter/plugins: Remove `disable_oxlint2` Cargo feature
(#13626) (overlookmotel)
- ff9e4fb linter/plugins: Use fixed-size allocators when
`ExternalLinter` exists (#13623) (overlookmotel)
- f9bff64 linter_codegen: Improve code style for collecting nodes
(#13636) (camchenry)
- babbaca all: Remove `pub` from modules with no exports (#13618)
(overlookmotel)
- 91759c6 linter/plugins: Only use `RawTransferFileSystem` if JS plugins
registered (#13599) (overlookmotel)
- 118020c linter/plugins: Discard `ExternalLinter` if no JS plugins
registered (#13598) (overlookmotel)
- 8d30bce linter/tsgolint: Report an error if the tsgolint exe could not
be found (#13590) (camc314)
- bccc276 eslint/for-direction: Clean up implementation and improve
documentation (#13532) (Antoine Zanardi)
- 1425da2 eslint/default-case-last: Simplify default case last check in
switch statement (#13529) (Antoine Zanardi)
- d245376 oxlint: Remove unused `runner` module (#13561) (camc314)
- 53f2fc1 eslint/default-case: Simplify implementation and enhance
readability (#13430) (Antoine Zanardi)
- 6f15060 eslint/block-scoped-var: Clean up implementation and improve
documentation (#13417) (Antoine Zanardi)
- 671e0fd language_server: Only store one instance of a diagnostic
(#13514) (Sysix)
- 1b425d6 eslint/default-case-last: Simplify implementation and enhance
readability (#13515) (Antoine Zanardi)
- e4bbbce eslint/default-param-last: Simplify implementation and enhance
readability (#13516) (Antoine Zanardi)
- e0396fd linter: Remove `static` lifetime from disable directives
function argument (#13492) (camc314)

### 📚 Documentation

- eb1f167 linter: Note which rules require type info to run on rule page
(#13675) (camc314)
- e66f93b linter: Fix backtick formatting in no-return-wrap (#13633)
(camc314)

### ⚡ Performance

- e6a25e7 linter: Remove unnecessary `should_run` check (#13639)
(camchenry)
- f6a9687 linter: Store rules by AST type in a boxed array (#13578)
(overlookmotel)
- b81f081 linter: Reduce indirection (#13574) (overlookmotel)
- a744aff linter: Skip rules that do not have any relevant node types
(#13138) (camchenry)

### 🎨 Styling

- e110476 linter: Reformat code (#13573) (overlookmotel)

### 🧪 Testing

- 58e6c94 oxlint: Add test for ignorePatterns whitelist (#13372) (Sysix)

Co-authored-by: camc314 <18101008+camc314@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-editor Area - Editor and Language Server C-bug Category - Bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants