metals
metals copied to clipboard
Opened sources from dependencies aren't updated after build import
Describe the bug
Step to reproduce:
- Open a project and import build
scalaVersion := "2.13.8" libraryDependencies ++= Seq( "com.outr" %% "scribe" % "3.8.3" )
- Open
scribe.writer.Writer
(symbol searchWriter;
) - upgrade scribe version to
3.9.0
- notice that
Writer.scala
wasn't updated + additional info diagnostic that tries to typecheck the source using updated library
Closing document and opening it again doesn't help by some reason.
Symbol search for query Writer;
continues to returning the symbol from 3.8.3.
Expected behavior
Dependency sources should be closed or marked as non-existing / updated after the change.
Operating system
No response
Editor/Extension
VS Code
Version of Metals
v0.11.6
Extra context or search terms
No response