Apply suggestion from @aschackmull

aschackmull · web-flow · commit bcfee987f011 · 2026-06-24T10:26:26.000+02:00
diff --git a/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll b/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
@@ -647,7 +647,7 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
       (
         n instanceof CatchClause
         or
-        exists(CatchClause catch | n = catch.getPattern())
+        n = any(CatchClause catch).getPattern()
         or
         n instanceof Case
         or

Original file line number	Diff line number	Diff line change
`@@ -647,7 +647,7 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {`
`647`	`647`	`(`
`648`	`648`	`n instanceof CatchClause`
`649`	`649`	`or`
`650`		`- exists(CatchClause catch \| n = catch.getPattern())`
	`650`	`+ n = any(CatchClause catch).getPattern()`
`651`	`651`	`or`
`652`	`652`	`n instanceof Case`
`653`	`653`	`or`