Please do a quick search on GitHub issues first, there might be already a duplicate issue for the one you are about to create. If the bug is trivial, just go ahead and create the issue. Otherwise, ...

JDK: JetBrains s.r.o. 21.0.7 Plugin version: 3.95.0-2025.2 ...