From 4a465a87f8d646b18d8f870df406d90f14e19369 Mon Sep 17 00:00:00 2001 From: Bas Leijdekkers Date: Thu, 2 Nov 2023 13:02:14 +0100 Subject: [PATCH] Java: remove unused property GitOrigin-RevId: 39bddd82bc207667f1552d44d51488525e370799 --- java/java-psi-impl/src/messages/JavaErrorBundle.properties | 1 - 1 file changed, 1 deletion(-) diff --git a/java/java-psi-impl/src/messages/JavaErrorBundle.properties b/java/java-psi-impl/src/messages/JavaErrorBundle.properties index c3a6dab5ab41..b4de0dea72c0 100644 --- a/java/java-psi-impl/src/messages/JavaErrorBundle.properties +++ b/java/java-psi-impl/src/messages/JavaErrorBundle.properties @@ -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