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

query predicate instances(
  OpenExistentialExpr x, string getSubExpr__label, Expr getSubExpr, string getExistential__label,
  Expr getExistential, string getOpaqueExpr__label, OpaqueValueExpr getOpaqueExpr
) {
  toBeTested(x) and
  not x.isUnknown() and
  getSubExpr__label = "getSubExpr:" and
  getSubExpr = x.getSubExpr() and
  getExistential__label = "getExistential:" and
  getExistential = x.getExistential() and
  getOpaqueExpr__label = "getOpaqueExpr:" and
  getOpaqueExpr = x.getOpaqueExpr()
}

query predicate getType(OpenExistentialExpr x, Type getType) {
  toBeTested(x) and not x.isUnknown() and getType = x.getType()
}