Skip to content

fix report baselined errors as a hint in the language server #3441#3801

Open
asukaminato0721 wants to merge 1 commit into
facebook:mainfrom
asukaminato0721:3441
Open

fix report baselined errors as a hint in the language server #3441#3801
asukaminato0721 wants to merge 1 commit into
facebook:mainfrom
asukaminato0721:3441

Conversation

@asukaminato0721

Copy link
Copy Markdown
Contributor

Summary

Fixes #3441

split LSP diagnostics into normal vs baseline-matched diagnostics using the existing baseline processor, downgrade baseline-matched push diagnostics to HINT, same behavior for pull diagnostics.

Test Plan

add test and related test files.

@github-actions

Copy link
Copy Markdown

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@yangdanny97 yangdanny97 self-assigned this Jun 17, 2026
@meta-codesync

meta-codesync Bot commented Jun 22, 2026

Copy link
Copy Markdown
Contributor

@yangdanny97 has imported this pull request. If you are a Meta employee, you can view this in D109264935.

@kinto0 kinto0 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Review automatically exported from Phabricator review in Meta.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

report baselined errors as a hint in the language server

3 participants