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

from
  PathSegment x, string hasGenericArgList, string hasIdentifier, string hasParenthesizedArgList,
  string hasRetType, string hasReturnTypeSyntax, string hasTypeRepr, string hasTraitTypeRepr
where
  toBeTested(x) and
  not x.isUnknown() and
  (if x.hasGenericArgList() then hasGenericArgList = "yes" else hasGenericArgList = "no") and
  (if x.hasIdentifier() then hasIdentifier = "yes" else hasIdentifier = "no") and
  (
    if x.hasParenthesizedArgList()
    then hasParenthesizedArgList = "yes"
    else hasParenthesizedArgList = "no"
  ) and
  (if x.hasRetType() then hasRetType = "yes" else hasRetType = "no") and
  (if x.hasReturnTypeSyntax() then hasReturnTypeSyntax = "yes" else hasReturnTypeSyntax = "no") and
  (if x.hasTypeRepr() then hasTypeRepr = "yes" else hasTypeRepr = "no") and
  if x.hasTraitTypeRepr() then hasTraitTypeRepr = "yes" else hasTraitTypeRepr = "no"
select x, "hasGenericArgList:", hasGenericArgList, "hasIdentifier:", hasIdentifier,
  "hasParenthesizedArgList:", hasParenthesizedArgList, "hasRetType:", hasRetType,
  "hasReturnTypeSyntax:", hasReturnTypeSyntax, "hasTypeRepr:", hasTypeRepr, "hasTraitTypeRepr:",
  hasTraitTypeRepr