Closed
Description
Hi,
I'm running into an assertion failure here when trying to use Scala 3 with Metals (which uses InteractiveDriver
, which seems to set the -Yread-docs
option).
Exception in thread "pool-10-thread-9" java.lang.AssertionError: assertion failed: `-Yread-docs` enabled, but no `docCtx` is set.
at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
at dotty.tools.dotc.core.tasty.TreeUnpickler$TreeReader.readNewDef(TreeUnpickler.scala:901)
at dotty.tools.dotc.core.tasty.TreeUnpickler$TreeReader.readIndexedDef(TreeUnpickler.scala:776)
...
This only happens for me as far as I can tell (nobody can reproduce it) but it's consistent. I was hoping someone here might be able to explain the circumstance in which this assertion would be triggered, to help us track down what's going on.
The related Metals issue is scalameta/metals#3414
Thanks!
rob