Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Diagnostics from removed dependencies are not cleared #6597

Open
piotmag769 opened this issue Nov 6, 2024 · 0 comments
Open

Diagnostics from removed dependencies are not cleared #6597

piotmag769 opened this issue Nov 6, 2024 · 0 comments
Labels
bug Something isn't working ide This issue refers to CairoLS or editor extensions

Comments

@piotmag769
Copy link
Collaborator

piotmag769 commented Nov 6, 2024 •
edited
Loading

Reproduction: set cubit = 1.3.0 to deps, goto cubit crate, errors about identifier cubit not found will show up.
Change dep to cubit = 1.3.1, close the 1.3.0 cubit files. The diagnostics about identifier not found don't disappear.
@piotmag769 piotmag769 converted this from a draft issue Nov 6, 2024
@piotmag769 piotmag769 added bug Something isn't working ide This issue refers to CairoLS or editor extensions labels Nov 6, 2024
@mkaput mkaput assigned mkaput and unassigned mkaput Nov 6, 2024
@Arcticae Arcticae moved this from Todo to Backlog in CairoLS Nov 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working ide This issue refers to CairoLS or editor extensions
Projects
CairoLS
Status: Backlog
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mkaput @piotmag769