mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Java: remove unused property
GitOrigin-RevId: 39bddd82bc207667f1552d44d51488525e370799
This commit is contained in:
committed by
intellij-monorepo-bot
parent
aea4c3322c
commit
4a465a87f8
@@ -285,7 +285,6 @@ switch.statement.incomplete='switch' statement does not cover all possible input
|
||||
switch.expr.no.result=Switch expression does not have any result expressions
|
||||
switch.expr.should.produce.result=Switch expression should produce result in all execution paths
|
||||
switch.expr.rule.should.produce.result=Switch expression rule should produce result in all execution paths
|
||||
guarded.patterns.unavailable=Guarded patterns from JEP 406 are not available since Java 19 preview
|
||||
incorrect.number.of.nested.patterns=Incorrect number of nested patterns: expected {0} but found {1}
|
||||
pattern.is.not.exhaustive=Pattern ''{0}'' is not exhaustive on ''{1}''
|
||||
identifier.is.not.allowed.here=Identifier is not allowed here
|
||||
|
||||
Reference in New Issue
Block a user