From 1ba69751f151024798761d9268f8513d027b811b Mon Sep 17 00:00:00 2001
From: Kasper Svendsen <kaspersv@github.com>
Date: Wed, 28 May 2025 14:35:18 +0200
Subject: [PATCH] Mark predicate inline to test QL-for-QL query

---
 java/ql/lib/semmle/code/java/Type.qll | 1 +
 1 file changed, 1 insertion(+)

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()