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 7faeeda commit 5518795Copy full SHA for 5518795
rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll
@@ -139,7 +139,7 @@ module SatisfiesBlanketConstraint<
139
140
/**
141
* Holds if the argument type `at` does _not_ satisfy the first non-trivial blanket
142
- * constraint of `impl`.
+ * constraint of `impl`..
143
*/
144
pragma[nomagic]
145
predicate dissatisfiesBlanketConstraint(ArgumentType at, ImplItemNode impl) {
0 commit comments