From ae7afa7aff0f8cca10885faaccaea5648f2eaef0 Mon Sep 17 00:00:00 2001 From: Arthur Baars Date: Mon, 14 Oct 2024 15:20:43 +0200 Subject: [PATCH] Update rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll Co-authored-by: Simon Friis Vindum --- rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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