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

from
  WherePred x, string hasGenericParamList, string hasLifetime, string hasTy, string hasTypeBoundList
where
  toBeTested(x) and
  not x.isUnknown() and
  (if x.hasGenericParamList() then hasGenericParamList = "yes" else hasGenericParamList = "no") and
  (if x.hasLifetime() then hasLifetime = "yes" else hasLifetime = "no") and
  (if x.hasTy() then hasTy = "yes" else hasTy = "no") and
  if x.hasTypeBoundList() then hasTypeBoundList = "yes" else hasTypeBoundList = "no"
select x, "hasGenericParamList:", hasGenericParamList, "hasLifetime:", hasLifetime, "hasTy:", hasTy,
  "hasTypeBoundList:", hasTypeBoundList