Replace redundant use of Class or Interface

smowton · smowton · commit 7f76d8ae55a6 · 2023-02-14T17:21:24.000Z
diff --git a/java/ql/src/utils/stub-generator/Stubs.qll b/java/ql/src/utils/stub-generator/Stubs.qll
@@ -523,9 +523,8 @@ class GeneratedTopLevel extends TopLevelType instanceof GeneratedType {
   }
 
   private string stubAnImport() {
-    exists(RefType t, string pkg, string name |
+    exists(ClassOrInterface t, string pkg, string name |
       t = this.getAnImportedType() and
-      (t instanceof Class or t instanceof Interface) and
       t.hasQualifiedName(pkg, name) and
       t != this and
       pkg != "java.lang"
