Jakub Cieśluk
Jakub Cieśluk
Oh right, I though the issue was connected to `local#` symbols. For now the only solution I see is to collect occurrences from both presentation compiler and semantic db for...
Hi, I would like to help with this issue if nobody is working on it.
I think its fine now Could you check if it works for you?
Thanks for reporting! You're right, this `x$1` name comes from the compiler. We are thinking about changing decorations for implicit arguments to `(using x$1)` which should be a bit cleaner....
fixed in https://github.com/scalameta/metals/pull/6176
Thanks for reporting. Could you send us contents of `.metals/metals.log` file? There should be more information about what is failing. It might be connected to https://github.com/scalameta/metals/issues/6104. You can try switching...
More minimal example: ```scala object Main { class T { def meth@@od[This >: this.type
Are you still asked to re-import build after changing something in this file, or there is only message about importing script?
Thanks for reporting! It's probably caused by https://github.com/scalameta/mdoc/blob/aee7d16f774ef10086aaded6101bb010649a76e6/mdoc/src/main/scala-3/mdoc/internal/markdown/Instrumenter.scala#L51C20-L51C20 I think we should add `$` to names generated by `mdoc`
> I would like to take care of it Great! If you have any questions or need any help, feel free to ask.