Files
codeql/rust/ql/test/extractor-tests/generated/TuplePat/TuplePat.ql
Arthur Baars a9423f4bdb Rust: codegen
2024-09-20 15:50:59 +02:00

11 lines
266 B
Plaintext
Generated

// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils
from TuplePat x, int getNumberOfFields
where
toBeTested(x) and
not x.isUnknown() and
getNumberOfFields = x.getNumberOfFields()
select x, "getNumberOfFields:", getNumberOfFields