[TreeUnpickler] hitting assertion failure: `-Yread-docs` enabled, but no `docCtx` is set.

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 https://github.com/scalameta/metals/issues/3414

Thanks!

rob

[tgodzik]

We checked and this seems to happen only on graalvm-ce-java8 and most likely MacOS

[tgodzik]

Actually, this got already fixed by https://github.com/lampepfl/dotty/pull/13811