mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
like unused symbol: use psi element to determine profile to get severity from (IDEA-72411)
like unused symbol: can be error in editor
This commit is contained in:
+5
@@ -0,0 +1,5 @@
|
||||
public class Test {
|
||||
public static void main(String[] args) {
|
||||
int <error descr="Variable 'k' is never used">k</error> = 0;
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user