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

from
  WherePred x, string hasGenericParamList, string hasLifetime, string hasTypeRepr,
  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.hasTypeRepr() then hasTypeRepr = "yes" else hasTypeRepr = "no") and
  if x.hasTypeBoundList() then hasTypeBoundList = "yes" else hasTypeBoundList = "no"
select x, "hasGenericParamList:", hasGenericParamList, "hasLifetime:", hasLifetime, "hasTypeRepr:",
  hasTypeRepr, "hasTypeBoundList:", hasTypeBoundList