// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils

from
  StructPat x, string hasResolvedPath, string hasResolvedCrateOrigin, string hasPath,
  string hasStructPatFieldList
where
  toBeTested(x) and
  not x.isUnknown() and
  (if x.hasResolvedPath() then hasResolvedPath = "yes" else hasResolvedPath = "no") and
  (
    if x.hasResolvedCrateOrigin()
    then hasResolvedCrateOrigin = "yes"
    else hasResolvedCrateOrigin = "no"
  ) and
  (if x.hasPath() then hasPath = "yes" else hasPath = "no") and
  if x.hasStructPatFieldList() then hasStructPatFieldList = "yes" else hasStructPatFieldList = "no"
select x, "hasResolvedPath:", hasResolvedPath, "hasResolvedCrateOrigin:", hasResolvedCrateOrigin,
  "hasPath:", hasPath, "hasStructPatFieldList:", hasStructPatFieldList