-
Notifications
You must be signed in to change notification settings - Fork 66
Open
Labels
A-interfaceArea: interfaceArea: interfaceC-cleanupCategory: PRs that clean code up or issues documenting cleanupCategory: PRs that clean code up or issues documenting cleanupC-enhancementCategory: an issue proposing an enhancement or a PR with oneCategory: an issue proposing an enhancement or a PR with oneE-mediumCall for participation: Medium difficulty. Experience needed to fix: Intermediate.Call for participation: Medium difficulty. Experience needed to fix: Intermediate.P-mediumMedium priorityMedium priority
Description
Describe the feature
Upstream has updated to latest annotate_snippets version:
Before, it was heavily outdated so I wrote the rust-like diagnostic -> annotate_snippets conversion myself, but this has a few subtle bugs and might not have the best output.
Our diagnostics are mostly the same as in Rust, so we should be able to replace this conversion to the one that is now in Rust upstream without too much issue.
Additional context
No response
Metadata
Metadata
Assignees
Labels
A-interfaceArea: interfaceArea: interfaceC-cleanupCategory: PRs that clean code up or issues documenting cleanupCategory: PRs that clean code up or issues documenting cleanupC-enhancementCategory: an issue proposing an enhancement or a PR with oneCategory: an issue proposing an enhancement or a PR with oneE-mediumCall for participation: Medium difficulty. Experience needed to fix: Intermediate.Call for participation: Medium difficulty. Experience needed to fix: Intermediate.P-mediumMedium priorityMedium priority