Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix "find all references" when using the IDE in the Dotty build
Running "find all references" in Dotty itself used to fail because constructing the map of project to their dependency failed, because this map is based on the `projectDependencies` key written in `.dotty-ide.json` which might contain projects which are not loaded in the IDE because they were excluded with `excludeFromIDE`. This commit fixes this by just ignoring dependencies which do not correspond to projects loaded in the IDE, this is the most resilient way to fix this.
- Loading branch information