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

from
  KeyPathComponent x, int getKind, int getNumberOfSubscriptArguments, string hasTupleIndex,
  string hasDeclRef, Type getComponentType
where
  toBeTested(x) and
  not x.isUnknown() and
  getKind = x.getKind() and
  getNumberOfSubscriptArguments = x.getNumberOfSubscriptArguments() and
  (if x.hasTupleIndex() then hasTupleIndex = "yes" else hasTupleIndex = "no") and
  (if x.hasDeclRef() then hasDeclRef = "yes" else hasDeclRef = "no") and
  getComponentType = x.getComponentType()
select x, "getKind:", getKind, "getNumberOfSubscriptArguments:", getNumberOfSubscriptArguments,
  "hasTupleIndex:", hasTupleIndex, "hasDeclRef:", hasDeclRef, "getComponentType:", getComponentType