diff --git a/java/ql/lib/semmle/code/java/Type.qll b/java/ql/lib/semmle/code/java/Type.qll
index 95e4ecc7ff7a..589d8decdda3 100644
--- a/java/ql/lib/semmle/code/java/Type.qll
+++ b/java/ql/lib/semmle/code/java/Type.qll
@@ -572,6 +572,7 @@ class RefType extends Type, Annotatable, Modifiable, @reftype {
   }
 
   /** Holds if this type declares or inherits the specified member. */
+  pragma[inline]
   predicate inherits(Member m) {
     exists(Field f | f = m |
       f = this.getAField()