From fac2beac13a6d592ff7a9362c184bab42515351a Mon Sep 17 00:00:00 2001 From: idrissrio Date: Mon, 8 Sep 2025 08:16:49 +0200 Subject: [PATCH] Java: remove `isImplict()` --- java/ql/lib/semmle/code/java/Type.qll | 6 ------ 1 file changed, 6 deletions(-) diff --git a/java/ql/lib/semmle/code/java/Type.qll b/java/ql/lib/semmle/code/java/Type.qll index ef5cc5d941ce..0ee861084ca6 100644 --- a/java/ql/lib/semmle/code/java/Type.qll +++ b/java/ql/lib/semmle/code/java/Type.qll @@ -703,12 +703,6 @@ class Class extends ClassOrInterface { /** Holds if this class is an implicit class (compact source file). */ predicate isImplicit() { isImplicitClass(this.getSourceDeclaration()) } - /** Holds if this is an auxiliary program element generated by the compiler. */ - override predicate isCompilerGenerated() { - super.isCompilerGenerated() or - this.isImplicit() - } - /** * Gets an annotation that applies to this class. *