diff --git a/rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll b/rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll index ca74a10fe4ba..a72b904dcf1b 100644 --- a/rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll +++ b/rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll @@ -139,7 +139,7 @@ private predicate isExhaustiveMatch(Pat pat) { // `match` expressions must be exhaustive, so last arm cannot fail pat = any(MatchExpr me).getLastArm().getPat() or - // macro patterns is exhaustive if its expansion is + // macro invocations are exhaustive if their expansion is pat = any(MacroPat mp | isExhaustiveMatch(mp.getMacroCall().getExpanded())) or // parameter patterns must be exhaustive