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

from
  MethodCallExpr x, Expr getReceiver, string getMethodName, int getNumberOfArgs,
  string hasGenericArgs
where
  toBeTested(x) and
  not x.isUnknown() and
  getReceiver = x.getReceiver() and
  getMethodName = x.getMethodName() and
  getNumberOfArgs = x.getNumberOfArgs() and
  if x.hasGenericArgs() then hasGenericArgs = "yes" else hasGenericArgs = "no"
select x, "getReceiver:", getReceiver, "getMethodName:", getMethodName, "getNumberOfArgs:",
  getNumberOfArgs, "hasGenericArgs:", hasGenericArgs