// 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) }