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

from
  StructExpr x, string hasResolvedPath, string hasResolvedCrateOrigin, string hasPath,
  string hasStructExprFieldList
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.hasStructExprFieldList()
  then hasStructExprFieldList = "yes"
  else hasStructExprFieldList = "no"
select x, "hasResolvedPath:", hasResolvedPath, "hasResolvedCrateOrigin:", hasResolvedCrateOrigin,
  "hasPath:", hasPath, "hasStructExprFieldList:", hasStructExprFieldList