https://youtrack.jetbrains.com/issue/IDEA-307528

[SLukashenko]

plugin version:

Description

https://youtrack.jetbrains.com/issue/IDEA-307528

[giraud]

Hi, this is a plugin exception, I don’t think it is a good thing to add an issue to the jira tracker.
also, please add the plugin version in this github bug

[SLukashenko]

Unfortunately user has not added log files nor reported plugin version. If we have similar issues reported with log files I will let you know plugin version.

[nahoj]

plugin version: 0.112-2023.1

It seems I just got the same error. I think it happened when I upgraded the plugin from 0.111 to 0.112. The 4 new PsiLetStub near the top of stubTreeFromIndex.txt match newly supported operator declarations (#407).

stacktrace.txt
0pen.ml_file.txt
stubTree.txt
stubTreeFromIndex.txt

[giraud]

maybe because the file is parsed differently now. other than that, I don’t know

[nahoj]

OK. But it's still on the plugin side, not something to report to JetBrains?

[giraud]

I think it’s a plugin problem, but it’s an internal error of intellij and I don’t know how to fix it