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.
isStruct
1 parent a92c552 commit f0f1ff5Copy full SHA for f0f1ff5
rust/ql/lib/codeql/rust/elements/internal/StructImpl.qll
@@ -48,7 +48,7 @@ module Impl {
48
49
/** Holds if this struct uses struct fields. */
50
pragma[nomagic]
51
- predicate isStruct() { not this.isTuple() }
+ predicate isStruct() { this.getFieldList() instanceof StructFieldList }
52
53
/** Holds if this struct does not have a field list. */
54
predicate isUnit() { not this.hasFieldList() }
0 commit comments