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

query predicate instances(RefPat x, string isMut__label, string isMut) {
  toBeTested(x) and
  not x.isUnknown() and
  isMut__label = "isMut:" and
  if x.isMut() then isMut = "yes" else isMut = "no"
}

query predicate getPat(RefPat x, Pat getPat) {
  toBeTested(x) and not x.isUnknown() and getPat = x.getPat()
}