Simplify PatternExpr definition

2026-04-25 16:55:19 +02:00 · 2023-11-15 16:01:17 +00:00
parent 3d980b1684
commit b731b8d30a
1 changed files with 1 additions and 1 deletions
--- a/java/ql/lib/semmle/code/java/Expr.qll
+++ b/java/ql/lib/semmle/code/java/Expr.qll
@@ -2633,7 +2633,7 @@ class PatternExpr extends Expr {
    (
      this.getParent() instanceof SwitchCase or
      this.getParent() instanceof InstanceOfExpr or
-      this.getParent() instanceof PatternExpr
+      this.getParent() instanceof RecordPatternExpr
    ) and
    (this instanceof LocalVariableDeclExpr or this instanceof RecordPatternExpr)
  }