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

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

query predicate getEnd(RangePat x, Pat getEnd) {
  toBeTested(x) and not x.isUnknown() and getEnd = x.getEnd()
}

query predicate getOperatorName(RangePat x, string getOperatorName) {
  toBeTested(x) and not x.isUnknown() and getOperatorName = x.getOperatorName()
}

query predicate getStart(RangePat x, Pat getStart) {
  toBeTested(x) and not x.isUnknown() and getStart = x.getStart()
}