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.
concat
strictconcat
1 parent 1e30585 commit 1fe7e2eCopy full SHA for 1fe7e2e
rust/ql/lib/codeql/rust/elements/internal/StructFieldImpl.qll
@@ -30,7 +30,9 @@ module Impl {
30
/** Holds if this record field is named `name` and belongs to the struct `s`. */
31
predicate isStructField(Struct s, string name) { this = s.getStructField(name) }
32
33
- override string toStringImpl() { result = concat(int i | | this.toStringPart(i) order by i) }
+ override string toStringImpl() {
34
+ result = strictconcat(int i | | this.toStringPart(i) order by i)
35
+ }
36
37
private string toStringPart(int index) {
38
index = 0 and result = this.getVisibility().toAbbreviatedString() + " "
0 commit comments