codeql/rust/ql/test/extractor-tests/generated/UseBoundGenericArgs/UseBoundGenericArgs.ql

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

query predicate instances(UseBoundGenericArgs x) { toBeTested(x) and not x.isUnknown() }

query predicate getUseBoundGenericArg(
  UseBoundGenericArgs x, int index, UseBoundGenericArg getUseBoundGenericArg
) {
  toBeTested(x) and not x.isUnknown() and getUseBoundGenericArg = x.getUseBoundGenericArg(index)
}