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 #71

Open
mkaput opened this issue Dec 18, 2024 · 0 comments
Open

Diagnostics from removed dependencies are not cleared #71

mkaput opened this issue Dec 18, 2024 · 0 comments
Labels
bug Something isn't working

Comments

@mkaput
Copy link
Member

mkaput commented Dec 18, 2024

@piotmag769 commented on 6.11.2024, 12:28:22:

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.
@mkaput mkaput added the bug Something isn't working label Dec 18, 2024
@github-project-automation github-project-automation bot moved this to Triage in CairoLS Dec 18, 2024
@mkaput mkaput moved this from Triage to Backlog in CairoLS Dec 18, 2024
@mkaput mkaput added this to the Goto milestone Jan 13, 2025
@mkaput mkaput moved this from Backlog to Todo in CairoLS Jan 13, 2025
@mkaput mkaput moved this from Todo to Backlog in CairoLS Jan 13, 2025
@mkaput mkaput removed this from the Goto milestone Jan 13, 2025
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
Projects
CairoLS
Status: Backlog
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mkaput