Include suggestions from review

github · Mar 18, 2021 · 84c9137 · 84c9137
1 parent f27d2bd
commit 84c9137
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/java/ql/src/experimental/semmle/code/java/Logging.qll b/java/ql/src/experimental/semmle/code/java/Logging.qll
@@ -23,7 +23,7 @@ class LoggingCall extends MethodAccess {
     |
       (
         m.getDeclaringType().getASourceSupertype*() = t or
-        m.getDeclaringType().(RefType).extendsOrImplements*(t)
+        m.getDeclaringType().extendsOrImplements*(t)
       ) and
       m.getReturnType() instanceof VoidType and
       this = m.getAReference()