We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 867c8a7 commit ae7afa7Copy full SHA for ae7afa7
rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll
@@ -139,7 +139,7 @@ private predicate isExhaustiveMatch(Pat pat) {
139
// `match` expressions must be exhaustive, so last arm cannot fail
140
pat = any(MatchExpr me).getLastArm().getPat()
141
or
142
- // macro patterns is exhaustive if its expansion is
+ // macro invocations are exhaustive if their expansion is
143
pat = any(MacroPat mp | isExhaustiveMatch(mp.getMacroCall().getExpanded()))
144
145
// parameter patterns must be exhaustive
0 commit comments